Frama-C: A software analysis perspective P Cuoq, F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 555 | 2012 |
Frama-C: A software analysis perspective F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski Formal aspects of computing 27, 573-609, 2015 | 457 | 2015 |
Boundary coverage criteria for test generation from formal models N Kosmatov, B Legeard, F Peureux, M Utting 15th International Symposium on Software Reliability Engineering, 139-150, 2004 | 98 | 2004 |
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 | 91 | 2013 |
Program slicing enhances a verification technique combining static and dynamic analysis O Chebaro, N Kosmatov, A Giorgetti, J Julliand Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1284-1291, 2012 | 81 | 2012 |
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 | 57 | 2009 |
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform P Baudin, F Bobot, D Bühler, L Correnson, F Kirchner, N Kosmatov, ... Communications of the ACM 64 (8), 56-68, 2021 | 53 | 2021 |
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 | 53 | 2015 |
An optimized memory monitoring for runtime assertion checking of C programs N Kosmatov, G Petiot, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 53 | 2013 |
Efficient leveraging of symbolic execution to advanced coverage criteria S Bardin, N Kosmatov, F Cheynier 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 46 | 2014 |
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). J Signoles, N Kosmatov, K Vorobyov RV-CuBES, 164-173, 2017 | 45 | 2017 |
Time to clean your test objectives M Marcozzi, S Bardin, N Kosmatov, M Papadakis, V Prevosto, ... Proceedings of the 40th International Conference on Software Engineering …, 2018 | 38 | 2018 |
Your proof fails? testing helps to find the reason G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016 | 32 | 2016 |
A case study on formal verification of the Anaxagoros hypervisor paging system with Frama-C A Blanchard, N Kosmatov, M Lemerre, F Loulergue International Workshop on Formal Methods for Industrial Critical Systems, 15-30, 2015 | 31 | 2015 |
Static versus dynamic verification in Why3, Frama-C and SPARK 2014 N Kosmatov, C Marché, Y Moy, J Signoles International Symposium on Leveraging Applications of Formal Methods, 461-478, 2016 | 30 | 2016 |
An all-in-one toolkit for automated white-box testing S Bardin, O Chebaro, M Delahaye, N Kosmatov Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014 | 29 | 2014 |
A lesson on runtime assertion checking with Frama-C N Kosmatov, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 29 | 2013 |
Shadow state encoding for efficient monitoring of block-level properties K Vorobyov, J Signoles, N Kosmatov ACM SIGPLAN Notices 52 (9), 47-58, 2017 | 28 | 2017 |
The SANTE tool: Value analysis, program slicing and test generation for C program debugging O Chebaro, N Kosmatov, A Giorgetti, J Julliand International Conference on Tests and Proofs, 78-83, 2011 | 27 | 2011 |
Combining static analysis and test generation for C program debugging O Chebaro, N Kosmatov, A Giorgetti, J Julliand Tests and Proofs, 94-100, 2010 | 27 | 2010 |