Infeasible Path Generalization in Dynamic Symbolic Execution

Infeasible Path Generalization in Dynamic Symbolic Execution

Authors
M. Delahaye, B. Botella and A. Gotlieb
Status
Published
Publication type
Journal Article
Year of publication
2015
Journal
Information and Software Technology
Publisher
Elsevier
Citation key
13172
Google Scholar BibTex