Bernard Botella
External collaborator
Publications
Simula-affiliated publications listed
2015
Journal Articles
Read Infeasible Path Generalization in Dynamic Symbolic Execution
M. Delahaye, B. Botella and A. Gotlieb
Infeasible Path Generalization in Dynamic Symbolic Execution
Information and Software Technology