Follow
Mickaël Delahaye
Mickaël Delahaye
Unknown affiliation
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Common specification language for static and dynamic analysis of C programs
M Delahaye, N Kosmatov, J Signoles
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1230-1235, 2013
862013
Automating structural testing of C programs: Experience with PathCrawler
B Botella, M Delahaye, S Hong-Tuan-Ha, N Kosmatov, P Mouy, M Roger, ...
2009 ICSE Workshop on Automation of Software Test, 70-78, 2009
572009
Sound and quasi-complete detection of infeasible test requirements
S Bardin, M Delahaye, R David, N Kosmatov, M Papadakis, Y Le Traon, ...
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
512015
A comparison of mutation analysis tools for java
M Delahaye, L Du Bousquet
2013 13th International Conference on Quality Software, 187-195, 2013
402013
Selecting a software engineering tool: lessons learnt from mutation analysis
M Delahaye, L Du Bousquet
Software: Practice and Experience 45 (7), 875-891, 2015
342015
Explanation-based generalization of infeasible path
M Delahaye, B Botella, A Gotlieb
2010 Third International Conference on Software Testing, Verification and …, 2010
312010
Infeasible path generalization in dynamic symbolic execution
M Delahaye, B Botella, A Gotlieb
Information and Software Technology 58, 403-418, 2015
272015
An All-in-One Toolkit for Automated White-Box Testing
S Bardin, O Chebaro, M Delahaye, N Kosmatov
8th International Conference on Tests & Proofs (TAP), 2014
252014
Generic and effective specification of structural test objectives
M Marcozzi, M Delahaye, S Bardin, N Kosmatov, V Prevosto
2017 IEEE International Conference on Software Testing, Verification and …, 2017
162017
Taming coverage criteria heterogeneity with LTest
M Marcozzi, S Bardin, M Delahaye, N Kosmatov, V Prevosto
2017 IEEE International Conference on Software Testing, Verification and …, 2017
122017
Compressing microcontroller execution traces to assist system analysis
A Amiar, M Delahaye, Y Falcone, L Du Bousquet
Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 …, 2013
112013
Fault localization in embedded software based on a single cyclic trace
A Amiar, M Delahaye, Y Falcone, L du Bousquet
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
82013
Applying a pairwise coverage criterion to scenario-based testing
L Du Bousquet, M Delahaye, C Oriat
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
62016
µTIL: Mutation-based statistical test inputs generation for automatic fault localization
M Delahaye, LC Briand, A Gotlieb, M Petit
2012 IEEE Sixth International Conference on Software Security and …, 2012
52012
Testing inexecutable conditions on input pointers in C programs with SANTE
O Chebaro, M Delahaye, N Kosmatov
ICSSEA 2012-24th International Conference on Software & Systems Engineering …, 2012
42012
Specify and measure, cover and reveal: A unified framework for automated test generation
S Bardin, N Kosmatov, M Marcozzi, M Delahaye
Science of Computer Programming 207, 102641, 2021
32021
A late treatment of C precondition in dynamic symbolic execution
M Delahaye, N Kosmatov
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
32013
A late treatment of c precondition in dynamic symbolic execution testing tools
M Delahaye, N Kosmatov
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
32013
Single-trace fault localization in embedded software
A Amiar, M Delahaye, L Du Bousquet
24th IEEE International Symposium on Software Reliability Engineering (ISSRE …, 2013
12013
Domestiquer la variété des critčres de test avec le langage HTOL et l'outil LTest
M Marcozzi, S Bardin, N Kosmatov, V Prévosto, M Delahaye
Approches Formelles pour l'Assistance au Développement de Logiciels-AFADL, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20