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
952013
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
582009
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
552015
A comparison of mutation analysis tools for java
M Delahaye, L Du Bousquet
2013 13th International Conference on Quality Software, 187-195, 2013
442013
Selecting a software engineering tool: lessons learnt from mutation analysis
M Delahaye, L Du Bousquet
Software: Practice and Experience 45 (7), 875-891, 2015
372015
Explanation-based generalization of infeasible path
M Delahaye, B Botella, A Gotlieb
2010 Third International Conference on Software Testing, Verification and …, 2010
332010
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
292014
Infeasible path generalization in dynamic symbolic execution
M Delahaye, B Botella, A Gotlieb
Information and Software Technology 58, 403-418, 2015
272015
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
182017
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
132017
Compressing microcontroller execution traces to assist system analysis
A Amiar, M Delahaye, Y Falcone, L Du Bousquet
International Embedded Systems Symposium, 139-150, 2013
92013
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
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
62021
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
International Conference on Software & Systems Engineering and their …, 2012
42012
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
TAP
S Bardin, O Chebaro, M Delahaye, N Kosmatov
Springer, 2014
22014
Enhancing symbolic execution for coverage-oriented testing
S Bardin, N Kosmatov, M Delahaye
CEA LIST, Software Safety Lab, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20