Mickaël Delahaye

Statistics

Publications

Citations

263

H-Index

Active since

2009

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Institut national de recherche en sciences et technologies du numérique

Mickaël Delahaye is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer science, computing, and software engineering.

ORCID

Publications per year

2009–2017

Publications

Common specification language for static and dynamic analysis of C programs

Mickaël Delahaye, Nikolaï Kosmatov, Julien Signoles · 2013 · 64 citations

Computing, Computer Science, Formal Methods +13

Automating structural testing of C programs: Experience with PathCrawler

Bernard Botella, Mickaël Delahaye, Stephane Hong-Tuan-Ha et al. · 2009 · 49 citations

Computing, Computer Engineering, Computer Science +11

Sound and Quasi-Complete Detection of Infeasible Test Requirements

Sébastien Bardin, Mickaël Delahaye, Robin David et al. · 2015 · 43 citations · Full text

Computing, Computer Science, Formal Methods +12

A Comparison of Mutation Analysis Tools for Java

Mickaël Delahaye, Lydie du Bousquet · 2013 · 31 citations

Computing, Computer Science, Fault Tolerance +12

Selecting a software engineering tool: lessons learnt from mutation analysis

Mickaël Delahaye, Lydie du Bousquet · Software Practice and Experience · 2015 · 26 citations

Computing, Computer Engineering, Computer Science +8

1–5 of 8