Mickaël Delahaye
Direction Générale de l'Armement(FR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Software Engineering Research, Formal Methods in Verification, Advanced Malware Detection Techniques
Most-Cited Works
- → Common specification language for static and dynamic analysis of C programs(2013)63 cited
- → Automating structural testing of C programs: Experience with PathCrawler(2009)49 cited
- → Sound and Quasi-Complete Detection of Infeasible Test Requirements(2015)41 cited
- → A Comparison of Mutation Analysis Tools for Java(2013)30 cited
- → Selecting a software engineering tool: lessons learnt from mutation analysis(2015)26 cited
- → An All-in-One Toolkit for Automated White-Box Testing(2014)24 cited
- → Infeasible path generalization in dynamic symbolic execution(2014)19 cited
- → Explanation-Based Generalization of Infeasible Path(2010)18 cited
- → Generic and Effective Specification of Structural Test Objectives(2017)12 cited
- → Taming Coverage Criteria Heterogeneity with LTest(2017)9 cited