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