Romain Aissat

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths

by Romain Aissat, Frederic Voisin and Burkhart Wolff 📧