Mickal Delahaye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICST | Taming Coverage Criteria Heterogeneity with LTest. | Michal Marcozzi, Sbastien Bardin, Mickal Delahaye, Nikolai Kosmatov, Virgile Prevosto |
| 2017 | ICST | Generic and Effective Specification of Structural Test Objectives. | Michal Marcozzi, Mickal Delahaye, Sbastien Bardin, Nikolai Kosmatov, Virgile Prevosto |
| 2016 | ICST | Applying a Pairwise Coverage Criterion to Scenario-Based Testing. | Lydie du Bousquet, Mickal Delahaye, Catherine Oriat |
| 2015 | ICST | Sound and Quasi-Complete Detection of Infeasible Test Requirements. | Sbastien Bardin, Mickal Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion |
| 2014 | TAP | An All-in-One Toolkit for Automated White-Box Testing. | Sbastien Bardin, Omar Chebaro, Mickal Delahaye, Nikolai Kosmatov |
| 2013 | ICST | A Late Treatment of C Precondition in Dynamic Symbolic Execution. | Mickal Delahaye, Nikolai Kosmatov |
| 2013 | ISSRE | Fault localization in embedded software based on a single cyclic trace. | Azzeddine Amiar, Mickal Delahaye, Ylis Falcone, Lydie du Bousquet |
| 2013 | SAC | Common specification language for static and dynamic analysis of C programs. | Mickal Delahaye, Nikolai Kosmatov, Julien Signoles |
| 2013 | RV | A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. | Mickal Delahaye, Nikolai Kosmatov |
| 2011 | ICST | IPEG: Utilizing Infeasibility. | Mickal Delahaye |
| 2010 | ICST | Explanation-Based Generalization of Infeasible Path. | Mickal Delahaye, Bernard Botella, Arnaud Gotlieb |
| 2009 | ICSE | Automating Structural Testing of C Programs: Experience with PathCrawler. | Bernard Botella, Mickal Delahaye, Stphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams |