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 | 96 | 2013 |
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 | 58 | 2009 |
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 | 55 | 2015 |
A comparison of mutation analysis tools for java M Delahaye, L Du Bousquet 2013 13th International Conference on Quality Software, 187-195, 2013 | 44 | 2013 |
Selecting a software engineering tool: lessons learnt from mutation analysis M Delahaye, L Du Bousquet Software: Practice and Experience 45 (7), 875-891, 2015 | 37 | 2015 |
Explanation-based generalization of infeasible path M Delahaye, B Botella, A Gotlieb 2010 Third International Conference on Software Testing, Verification and …, 2010 | 33 | 2010 |
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 | 29 | 2014 |
Infeasible path generalization in dynamic symbolic execution M Delahaye, B Botella, A Gotlieb Information and Software Technology 58, 403-418, 2015 | 27 | 2015 |
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 | 18 | 2017 |
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 | 14 | 2017 |
Compressing microcontroller execution traces to assist system analysis A Amiar, M Delahaye, Y Falcone, L Du Bousquet International Embedded Systems Symposium, 139-150, 2013 | 9 | 2013 |
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 | 8 | 2013 |
Specify and measure, cover and reveal: A unified framework for automated test generation S Bardin, N Kosmatov, M Marcozzi, M Delahaye Science of Computer Programming 207, 102641, 2021 | 6 | 2021 |
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 | 6 | 2016 |
µ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 | 5 | 2012 |
Testing inexecutable conditions on input pointers in C programs with SANTE O Chebaro, M Delahaye, N Kosmatov International Conference on Software & Systems Engineering and their …, 2012 | 4 | 2012 |
A late treatment of C precondition in dynamic symbolic execution M Delahaye, N Kosmatov 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 3 | 2013 |
A late treatment of C precondition in dynamic symbolic execution testing tools M Delahaye, N Kosmatov Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 3 | 2013 |
TAP S Bardin, O Chebaro, M Delahaye, N Kosmatov Springer, 2014 | 2 | 2014 |
Enhancing symbolic execution for coverage-oriented testing S Bardin, N Kosmatov, M Delahaye CEA LIST, Software Safety Lab, 2015 | 1 | 2015 |