Export 2 results:
Search results for biblio_year:1984
Filters: 1 is biblio_year:2013 and 2 is field_research_area:6 and 3 is biblio_year:2015 and 4 is biblio_year:1994 and Author is Mickael Delahaye  [Reset Search]
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)
M. Delahaye, L. C. Briand, A. Gotlieb and M. Petit. MuTIL: Mutation-Based Statistical Test Inputs Generation for Automatic Fault Localization In Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA. .: ., 2012.