Mickaël Delahaye

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 5

Top Topics

Pairwise Classification

Symbolic Execution

Embedded Software

Top Venues

Publications

Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
Specify and measure, cover and reveal: A unified framework for automated test generation. Sci. Comput. Program. 207 (2021)
Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto
Taming Coverage Criteria Heterogeneity with LTest. ICST (2017)
Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto
Generic and Effective Specification of Structural Test Objectives. ICST (2017)
Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto
Generic and Effective Specification of Structural Test Objectives. CoRR (2016)
Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat
Applying a Pairwise Coverage Criterion to Scenario-Based Testing. ICST Workshops (2016)
Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion
Sound and Quasi-Complete Detection of Infeasible Test Requirements. ICST (2015)
Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
Infeasible path generalization in dynamic symbolic execution. Inf. Softw. Technol. 58 (2015)
Mickaël Delahaye, Lydie du Bousquet
Selecting a software engineering tool: lessons learnt from mutation analysis. Softw. Pract. Exp. 45 (7) (2015)
Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
An All-in-One Toolkit for Automated White-Box Testing. TAP@STAF (2014)
Mickaël Delahaye, Nikolai Kosmatov
A Late Treatment of C Precondition in Dynamic Symbolic Execution. ICST Workshops (2013)
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
Compressing Microcontroller Execution Traces to Assist System Analysis. IESS (2013)
Mickaël Delahaye, Lydie du Bousquet
A Comparison of Mutation Analysis Tools for Java. QSIC (2013)
Mickaël Delahaye, Nikolai Kosmatov
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. RV (2013)
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
Fault localization in embedded software based on a single cyclic trace. ISSRE (2013)
Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles
Common specification language for static and dynamic analysis of C programs. SAC (2013)
Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. SERE (2012)
Mickaël Delahaye
IPEG: Utilizing Infeasibility. ICST Workshops (2011)
Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
Explanation-Based Generalization of Infeasible Path. ICST (2010)
Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams
Automating Structural Testing of C Programs: Experience with PathCrawler. AST (2009)