a public good project by the
Synthesis
Company
of California

© 2026

Infeasible path generalization in dynamic symbolic execution | doi.page

0 citations0 references

Google Scholar doi.org

Infeasible path generalization in dynamic symbolic execution

Information and Software Technology·2014·Vol. 58, pp. 403–418

Citations Over TimeTop 12% of 2014 papers

Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb

Related Papers

→ Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis(2013)170 cited
→ Symlnfer: Inferring program invariants using symbolic states(2017)18 cited
Symbolic Execution for (Almost) Free Hijacking an Existing Implementation to Perform Symbolic Execution(2014)
→ All-values symbolic execution(2012)