A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.

Romain Assat, Marie-Claude Gaudel, Frdric Voisin, Burkhart Wolff

Browse the full QRS paper archive.