Mickaël Delahaye
Mickaël Delahaye
Affiliazione sconosciuta
Email verificata su inria.fr - Home page
Titolo
Citata da
Citata da
Anno
Common specification language for static and dynamic analysis of C programs
M Delahaye, N Kosmatov, J Signoles
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1230-1235, 2013
812013
Automating structural testing of C programs: Experience with PathCrawler
B Botella, M Delahaye, S Hong-Tuan-Ha, N Kosmatov, P Mouy, M Roger, ...
2009 ICSE Workshop on Automation of Software Test, 70-78, 2009
532009
Sound and quasi-complete detection of infeasible test requirements
S Bardin, M Delahaye, R David, N Kosmatov, M Papadakis, Y Le Traon, ...
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
422015
A comparison of mutation analysis tools for java
M Delahaye, L Du Bousquet
2013 13th International Conference on Quality Software, 187-195, 2013
332013
Explanation-based generalization of infeasible path
M Delahaye, B Botella, A Gotlieb
2010 Third International Conference on Software Testing, Verification and …, 2010
292010
Selecting a software engineering tool: lessons learnt from mutation analysis
M Delahaye, L Du Bousquet
Software: Practice and Experience 45 (7), 875-891, 2015
222015
Infeasible path generalization in dynamic symbolic execution
M Delahaye, B Botella, A Gotlieb
Information and Software Technology 58, 403-418, 2015
192015
An All-in-One Toolkit for Automated White-Box Testing
S Bardin, O Chebaro, M Delahaye, N Kosmatov
8th International Conference on Tests & Proofs (TAP), 2014
192014
Generic and effective specification of structural test objectives
M Marcozzi, M Delahaye, S Bardin, N Kosmatov, V Prevosto
2017 IEEE International Conference on Software Testing, Verification and …, 2017
112017
Taming coverage criteria heterogeneity with LTest
M Marcozzi, S Bardin, M Delahaye, N Kosmatov, V Prevosto
2017 IEEE International Conference on Software Testing, Verification and …, 2017
82017
Fault localization in embedded software based on a single cyclic trace
A Amiar, M Delahaye, Y Falcone, L du Bousquet
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
72013
Compressing microcontroller execution traces to assist system analysis
A Amiar, M Delahaye, Y Falcone, L Du Bousquet
International Embedded Systems Symposium, 139-150, 2013
62013
Applying a pairwise coverage criterion to scenario-based testing
L Du Bousquet, M Delahaye, C Oriat
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
42016
Testing inexecutable conditions on input pointers in C programs with SANTE
O Chebaro, M Delahaye, N Kosmatov
in ICSSEA, 2012
32012
A late treatment of c precondition in dynamic symbolic execution testing tools
M Delahaye, N Kosmatov
International Conference on Runtime Verification, 328-333, 2013
22013
A late treatment of C precondition in dynamic symbolic execution
M Delahaye, N Kosmatov
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
22013
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization
M Delahaye, LC Briand, A Gotlieb, M Petit
2012 IEEE Sixth International Conference on Software Security and …, 2012
22012
Single-trace fault localization in embedded software
A Amiar, M Delahaye, Y Falcone, L Bousquet
24th IEEE International Symposium on Software Reliability Engineering (ISSRE …, 2013
12013
Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTest
M Marcozzi, S Bardin, N Kosmatov, V Prévosto, M Delahaye
2017
Generic and Effective Specification of Structural Test Objectives
S Bardin, M Delahaye, N Kosmatov, M Marcozzi, V Prevosto
arXiv preprint arXiv:1609.01204, 2016
2016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20