Mickael Delahaye

External collaborator

Publications

Simula-affiliated publications listed

M. Delahaye, B. Botella and A. Gotlieb

Infeasible Path Generalization in Dynamic Symbolic Execution

Information and Software Technology

M. Delahaye, L. C. Briand, A. Gotlieb and M. Petit

MuTIL: Mutation-Based Statistical Test Inputs Generation for Automatic Fault Localization

Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA