Mickaël Delahaye

Mickaël Delahaye

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4440475
French National Institute for Research in Computer Science and Control
person_outline Mickaël Delahaye's MOST POPULAR ARTICLES
1-) Common specification language for static and dynamic analysis of C programs Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1230-1235, 2013
2-) Sound and quasi-complete detection of infeasible test requirements 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
3-) Automating structural testing of C programs: Experience with PathCrawler 2009 ICSE Workshop on Automation of Software Test, 70-78, 2009
4-) A comparison of mutation analysis tools for java 2013 13th International Conference on Quality Software, 187-195, 2013
5-) Selecting a software engineering tool: lessons learnt from mutation analysis Software: Practice and Experience 45 (7), 875-891, 2015