Mickaël Delahaye

发表

A Comparison of Mutation Analysis Tools for Java

Mickaël Delahaye, Lydie du Bousquet, 2013, 2013 13th International Conference on Quality Software.

Fault localization in embedded software based on a single cyclic trace

Mickaël Delahaye, Lydie du Bousquet, Yliès Falcone, 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).

Taming Coverage Criteria Heterogeneity with LTest

Nikolai Kosmatov, Mickaël Delahaye, Virgile Prevosto, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

A Late Treatment of C Precondition in Dynamic Symbolic Execution

Nikolai Kosmatov, Mickaël Delahaye, 2013, ICST Workshops.

Compressing Microcontroller Execution Traces to Assist System Analysis

Mickaël Delahaye, Lydie du Bousquet, Yliès Falcone, 2013, IESS.

Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE

Nikolai Kosmatov, Mickaël Delahaye, Omar Chebaro, 2012 .

IPEG: Utilizing Infeasibility

Mickaël Delahaye, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding

Mickaël Delahaye, Lydie du Bousquet, Azzeddine Amiar, 2012 .

A Late Treatment of C Precondition in Dynamic Symbolic Execution

Nikolai Kosmatov, Mickaël Delahaye, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Explanation-Based Generalization of Infeasible Path

Arnaud Gotlieb, Mickaël Delahaye, Bernard Botella, 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

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

Arnaud Gotlieb, Lionel C. Briand, Mickaël Delahaye, 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

Selecting a software engineering tool: lessons learnt from mutation analysis

Mickaël Delahaye, Lydie du Bousquet, L. D. Bousquet, 2015, Softw. Pract. Exp..

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

Nikolai Kosmatov, Mickaël Delahaye, Sébastien Bardin, 2014, TAP@STAF.

Applying a Pairwise Coverage Criterion to Scenario-Based Testing

Mickaël Delahaye, Lydie du Bousquet, Catherine Oriat, 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Common specification language for static and dynamic analysis of C programs

Nikolai Kosmatov, Julien Signoles, Mickaël Delahaye, 2013, SAC '13.

Single-Trace Fault Localization in Embedded Software

Mickaël Delahaye, Lydie du Bousquet, Azzeddine Amiar, 2013 .

Sound and Quasi-Complete Detection of Infeasible Test Requirements

Yves Le Traon, Nikolai Kosmatov, Jean-Yves Marion, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Infeasible path generalization in dynamic symbolic execution

Arnaud Gotlieb, Mickaël Delahaye, Bernard Botella, 2015, Inf. Softw. Technol..

Generic and Effective Specification of Structural Test Objectives

Nikolai Kosmatov, Mickaël Delahaye, Virgile Prevosto, 2016, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Automating structural testing of C programs: Experience with PathCrawler

Nikolai Kosmatov, Mickaël Delahaye, Patricia Mouy, 2009, 2009 ICSE Workshop on Automation of Software Test.

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

Nikolai Kosmatov, Mickaël Delahaye, Sébastien Bardin, 2021, Sci. Comput. Program..