M. Delahaye and
L. du Bousquet,
“Selecting a Software Engineering Tool: Lessons Learnt from Mutation Analysis”,
in Software: Practice and Experience,
special issue on Quality Software,
guest editors: A. Gotlieb, Z. Chen, and T.H. Tse.
Wiley.
2014
M. Delahaye, B. Botella, and A. Gotlieb,
“Infeasible Path Generalization in Dynamic Symbolic Execution”,
in Information and Software Technology.
Elsevier.
S. Bardin, O. Chebaro, M. Delahaye and N. Kosmatov,
“An All-in-One Toolkit for Automated White-Box Testing”,
in the 8th International Conference on Tests and Proofs (TAP),
York, UK, July 2014.
LNCS, volume 8570, pages 53–60.
Springer.
Author's extended version .
2013
M. Delahaye and N. Kosmatov,
“A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools”,
in Runtime Verification (RV), Rennes, France, 2013.
LNCS, volume 8174.
Springer.
Talk slides .
M. Delahaye and N. Kosmatov,
“A Late Treatment of C Precondition in Dynamic Symbolic Execution”,
in Constraints in Software Testing, Verification, and Analysis (CSTVA),
workshop of ICST, Luxembourg, 2013.
IEEE.
M. Delahaye, N. Kosmatov,
and J. Signoles,
“Common Specification Language for Static and Dynamic Analysis of C Programs”,
in the 28th ACM Symposium on Applied Computing (SAC), Coimbra, Portugal, 2013.
ACM.
A. Amiar, M. Delahaye,
Y. Falcone,
and L. du Bousquet,
“Compressing Microcontroller Execution Traces to Assist System Analysis”,
in the International Embedded Systems Symposium (IESS),
Paderborn, Germany, 2013.
Springer.
A. Amiar, M. Delahaye, Y. Falcone,
and L. du Bousquet,
“Fault localization in embedded software based on a single cyclic trace”,
in the International Symposium on Software Reliability Engineering (ISSRE),
Pasadena, CA, USA, 2013.
IEEE.
M. Delahaye and L. du Bousquet,
“A Comparison of Mutation Tools for Java”,
in the International Conference of Quality Software (QSIC),
Nanjing, China, 2013.
IEEE.
2012
O. Chebaro, M. Delahaye, and N. Kosmatov,
“Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE”,
in the 24th International Conference on Software and Systems
Engineering and their Applications (ICSSEA), Paris, France, 2012.
M. Delahaye, L. Briand,
A. Gotlieb, and M. Petit,
“µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization”,
in the International Conference on Software Security and Reliability (SERE, ex-SSIRI), Washington DC, USA, 2012.
IEEE.
A. Amiar, M. Delahaye, Y. Falcone,
and L. du Bousquet,
“Résumer les traces d’exécution des micro-contrôleurs”
(Summarize execution traces of microcontroller programs), in Approches Formelles dans l'Assistance au Développement de
Logiciels (AFADL) (French-speaking workshop on Formal Methods for
Assisting Software Development), Grenoble, France, 2012.
2011
M. Delahaye,
“IPEG: Utilizing infeasible paths”,
in Constraints in Software Testing, Verification, and Analysis (CSTVA), workshop of ICST,
Berlin, Germany, 2011.
IEEE.
2010
M. Delahaye, B. Botella, and
A. Gotlieb,
“Explanation-based Generalization of Infeasible Path”,
in the Third International Conference on Software Testing, Verification and Validation (ICST),
Paris, France, 2010.
IEEE.
Talk slides .
2009
B. Botella, M. Delahaye, S. Hong-Tuan-Ha, N. Kosmatov, P. Mouy,
M. Roger, and N. Williams, “Automated Structural Testing of C Programs:
Experience with PathCrawler”, in the Fourth International Workshop on the
Automation of Software Test (AST), Vancouver, Canada, 2009.
IEEE.