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 | 509 | 2012 |
Frama-C: A software analysis perspective F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski Formal aspects of computing 27 (3), 573-609, 2015 | 410 | 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 | 97 | 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 | 86 | 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 | 78 | 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 |
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 | 51 | 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 | 49 | 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 | 42 | 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 | 34 | 2017 |
Static versus dynamic verification in Why3, Frama-C and SPARK 2014 N Kosmatov, C Marché, Y Moy, J Signoles Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 31 | 2016 |
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 | 31 | 2016 |
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 | 29 | 2018 |
A lesson on runtime assertion checking with Frama-C N Kosmatov, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 28 | 2013 |
Combining static analysis and test generation for C program debugging O Chebaro, N Kosmatov, A Giorgetti, J Julliand Tests and Proofs, 94-100, 2010 | 26 | 2010 |
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 | 25 | 2021 |
A case study on formal verification of the Anaxagoros hypervisor paging system with Frama-C A Blanchard, N Kosmatov, M Lemerre, F Loulergue Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 25 | 2015 |
Behind the scenes in SANTE: a combination of static and dynamic analyses O Chebaro, P Cuoq, N Kosmatov, B Marre, A Pacalet, N Williams, ... Automated Software Engineering 21, 107-143, 2014 | 25 | 2014 |
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 | 25 | 2014 |
The SANTE tool: Value analysis, program slicing and test generation for C program debugging O Chebaro, N Kosmatov, A Giorgetti, J Julliand Tests and Proofs: 5th International Conference, TAP 2011, Zurich …, 2011 | 25 | 2011 |