Export 1 results:
Search results for biblio_year:1987
Filters: 1 is biblio_year:2007 and 2 is biblio_year:1995 and 3 is biblio_year:1999 and 4 is biblio_year:1989 and 5 is biblio_year:2015 and Author is Bernard Botella  [Reset Search]
2015
M. Delahaye, B. Botella and A. Gotlieb. "Infeasible Path Generalization in Dynamic Symbolic Execution." Information and Software Technology 58 (2015): 403-418.PDF icon journal.pdf (567.58 KB)