Obserwuj
Nikolai Kosmatov
Nikolai Kosmatov
Researcher, CEA, List & Thales
Zweryfikowany adres z cea.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
5792012
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
4892015
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
992004
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
972013
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
842012
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
682021
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
582009
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
552015
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
542013
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
532017
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
462014
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
382018
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
332016
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
332015
Shadow state encoding for efficient monitoring of block-level properties
K Vorobyov, J Signoles, N Kosmatov
ACM SIGPLAN Notices 52 (9), 47-58, 2017
322017
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
312016
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
292014
A lesson on runtime assertion checking with Frama-C
N Kosmatov, J Signoles
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
292013
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
272011
Combining static analysis and test generation for C program debugging
O Chebaro, N Kosmatov, A Giorgetti, J Julliand
Tests and Proofs, 94-100, 2010
272010
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20