Mickaël Delahaye

According to our database, Mickaël Delahaye authored at least 18 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Specify and measure, cover and reveal: A unified framework for automated test generation.

Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye

Sci. Comput. Program., 2021

2017

Generic and Effective Specification of Structural Test Objectives.

Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Taming Coverage Criteria Heterogeneity with LTest.

Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Applying a Pairwise Coverage Criterion to Scenario-Based Testing.

Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Selecting a software engineering tool: lessons learnt from mutation analysis.

Mickaël Delahaye, Lydie du Bousquet

Softw. Pract. Exp., 2015

Infeasible path generalization in dynamic symbolic execution.

Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb

Inf. Softw. Technol., 2015

Sound and Quasi-Complete Detection of Infeasible Test Requirements.

Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

An All-in-One Toolkit for Automated White-Box Testing.

Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov

Proceedings of the Tests and Proofs - 8th International Conference, 2014

2013

Common specification language for static and dynamic analysis of C programs.

Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools.

Mickaël Delahaye, Nikolai Kosmatov

Proceedings of the Runtime Verification - 4th International Conference, 2013

A Comparison of Mutation Analysis Tools for Java.

Mickaël Delahaye, Lydie du Bousquet

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Fault localization in embedded software based on a single cyclic trace.

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Compressing Microcontroller Execution Traces to Assist System Analysis.

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

A Late Treatment of C Precondition in Dynamic Symbolic Execution.

Mickaël Delahaye, Nikolai Kosmatov

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.

Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2011

IPEG: Utilizing Infeasibility.

Mickaël Delahaye

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Explanation-Based Generalization of Infeasible Path.

Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb

Proceedings of the Third International Conference on Software Testing, 2010

2009

Automating Structural Testing of C Programs: Experience with PathCrawler.

Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams

Proceedings of the 4th International Workshop on Automation of Software Test, 2009