Publications

2015

S. Bardin, R. David, M. Delahaye, N. Kosmatov, M. Papadakis, Y. Le Traon et J.-Y. Marion, « Sound and Quasi-Complete Detection of Infeasible Test Requirements », dans International Conference on Software Testing, Verification and Validation (ICST). IEEE. Version étendue des auteurs . À paraître.
M. Delahaye et L. du Bousquet, « Selecting a Software Engineering Tool: Lessons Learnt from Mutation Analysis », in Software: Practice and Experience, numéro spécial Quality Software, éditeurs invités: A. Gotlieb, Z. Chen et T.H. Tse. Wiley.

M. Delahaye, B. Botella et A. Gotlieb, « Infeasible Path Generalization in Dynamic Symbolic Execution », dans Information and Software Technology. Elsevier.
S. Bardin, O. Chebaro, M. Delahaye et N. Kosmatov, « An All-in-One Toolkit for Automated White-Box Testing », dans International Conference on Tests and Proofs (TAP), York, Royaume-Uni, 2014. LNCS, volume 8570, pages 53–60. Springer. Version étendue des auteurs .

M. Delahaye et N. Kosmatov, « A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools », dans Runtime Verification (RV), Rennes, France, 2013. LNCS, volume 8174. Springer. Présentation .
M. Delahaye et N. Kosmatov, « A Late Treatment of C Precondition in Dynamic Symbolic Execution », dans Constraints in Software Testing, Verification, and Analysis (CSTVA), atelier d'ICST, Luxembourg, 2013. IEEE.
M. Delahaye, N. Kosmatov et J. Signoles « Common Specification Language for Static and Dynamic Analysis of C Programs », dans ACM Symposium on Applied Computing (SAC), Coimbra, Portugal, 2013. ACM.
A. Amiar, M. Delahaye, Y. Falcone et L. du Bousquet, « Compressing Microcontroller Execution Traces to Assist System Analysis », dans International Embedded Systems Symposium (IESS), 2013. Springer.
A. Amiar, M. Delahaye, Y. Falcone et L. du Bousquet, « Fault localization in embedded software based on a single cyclic trace », dans International Symposium on Software Reliability Engineering (ISSRE), Pasadena, CA, USA, 2013. IEEE.
M. Delahaye et L. du Bousquet, « A Comparison of Mutation Tools for Java », dans International Conference of Quality Software (QSIC), Nanjing, Chine, 2013. IEEE.

O. Chebaro, M. Delahaye et N. Kosmatov, « Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE », dans International Conference on Software and Systems Engineering and their Applications (ICSSEA), Paris, France, 2012.
M. Delahaye, L. Briand, A. Gotlieb et M. Petit, « µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization », dans International Conference on Software Security and Reliability (SERE, ex-SSIRI), Washington DC, USA, 2012. IEEE.
A. Amiar, M. Delahaye, Y. Falcone et L. du Bousquet, « Résumer les traces d’exécution des micro-contrôleurs », dans l'atelier francophone Approches Formelles dans l'assistance au Développement de Logiciels (AFADL), Grenoble, France, 2012.

M. Delahaye, « IPEG: Utilizing infeasible paths », dans Constraints in Software Testing, Verification, and Analysis (CSTVA), atelier d'ICST, Berlin, Allemagne, 2011. IEEE.

M. Delahaye, B. Botella et A. Gotlieb, « Explanation-based Generalization of Infeasible Path », dans International Conference on Software Testing, Verification and Validation (ICST), Paris, France, 2010. IEEE. Présentation .

B. Botella, M. Delahaye, S. Hong-Tuan-Ha, N. Kosmatov, P. Mouy, M. Roger et N. Williams, « Automated Structural Testing of C Programs: Experience with PathCrawler », dans Automation of Software Test (AST), atelier d'ICSE, Vancouver, Canada, 2009. IEEE.