Mickaël Delahaye

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