Learning to Prune Infeasible Paths in Generalized Symbolic Execution.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Browse the full ISSRE paper archive.