Follow
Nikolai Kosmatov
Nikolai Kosmatov
Researcher, CEA, List & Thales
Verified email at cea.fr - Homepage
Title
Cited by
Cited by
Year
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
5092012
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
4102015
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
972004
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
862013
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
782012
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
572009
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
512015
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
492013
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
422014
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
342017
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
312016
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
312016
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
292018
A lesson on runtime assertion checking with Frama-C
N Kosmatov, J Signoles
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
282013
Combining static analysis and test generation for C program debugging
O Chebaro, N Kosmatov, A Giorgetti, J Julliand
Tests and Proofs, 94-100, 2010
262010
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
252021
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
252015
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
252014
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
252014
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
252011
The system can't perform the operation now. Try again later.
Articles 1–20