Publications de Mickael Delahaye

Load the BibTeX file

Conférences internationales

1. Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. In Runtime Verification (RV 2013), LNCS, Volume 8174, Pages 328-333, Rennes, France, 2013.
2. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Single-Trace Fault Localization in Embedded Software. In 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pages 148-157, Pasadena, CA, USA, 2013.
3. Mickaël Delahaye, Lydie du Bousquet. A Comparison of Mutation Analysis Tools for Java. In International Conference on Quality Software (QSIC 2013), Pages 187-195, Juillet 2013.
4. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In International Embedded Systems Symposium (IESS), Pages 139-150, Juin 2013.
5. Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles. Common Specification Language for Static and Dynamic Analysis of C Programs. In 28th Annual ACM Symposium on Applied Computing (SAC 2013), Pages 1230-1235, Mars 2013.
6. Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution. In Fifth Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013), Pages 230-231, Mars 2013.
7. Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE. In 24th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2012), Pages 1-7, Octobre 2012.
8. Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit. MuTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. In International Conference on Software Security and Reliability (SERE 2012), Pages 197-206, Gaithersburg, Maryland, USA, Juin 2012.

Communications avec actes

1. A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012.

Rapports de recherche

1. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. Research Report LIG, No 31, Février 2013.