| Frama-C: A software analysis perspective P Cuoq, F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski International conference on software engineering and formal methods, 233-247, 2012 | 598 | 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 | 515 | 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 | 100 | 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 | 99 | 2013 |
| 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 | 91 | 2021 |
| 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 | 88 | 2012 |
| E-ACSL, a runtime verification tool for safety and security of C programs (tool paper) J Signoles, N Kosmatov, K Vorobyov RV-CuBES 2017-International Workshop on Competitions, Usability, Benchmarks …, 2017 | 60 | 2017 |
| 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 | 60 | 2015 |
| 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 | 60 | 2009 |
| 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 | 52 | 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 | 47 | 2014 |
| 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 | 41 | 2018 |
| 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 | 36 | 2016 |
| Shadow state encoding for efficient monitoring of block-level properties K Vorobyov, J Signoles, N Kosmatov ACM SIGPLAN Notices 52 (9), 47-58, 2017 | 34 | 2017 |
| 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 | 34 | 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 | 34 | 2014 |
| A lesson on runtime assertion checking with Frama-C N Kosmatov, J Signoles Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 33 | 2013 |
| 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 | 32 | 2015 |
| Ghosts for lists: a critical module of Contiki verified in Frama-C A Blanchard, N Kosmatov, F Loulergue NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 28 | 2018 |
| 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 | 28 | 2014 |
