Mickaël Delahaye

Statistics

Publications

Citations

258

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 engineering, formal methods, and program analysis.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingFormal VerificationVerificationSoftware DesignSystems Engineering

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 · 63 citations

Program Checking, Engineering, Compiler Technology +25

Automating structural testing of C programs: Experience with PathCrawler

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

Software Maintenance, Program Checking, Engineering +21

Sound and Quasi-Complete Detection of Infeasible Test Requirements

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

Software Maintenance, Engineering, Verification +26

A Comparison of Mutation Analysis Tools for Java

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

Software Maintenance, Engineering, Genetics +20

Selecting a software engineering tool: lessons learnt from mutation analysis

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

Software Maintenance, Engineering, Software Systems +23

1–5 of 8