Nikolai Kosmatov
Nikolai Kosmatov
Researcher, CEA, List & Thales
Email verificata su cea.fr - Home page
Titolo
Citata da
Citata da
Anno
Frama-c
P Cuoq, F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski
International conference on software engineering and formal methods, 233-247, 2012
3702012
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
2712015
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
892004
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
812013
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
602012
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
532009
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
422015
An optimized memory monitoring for runtime assertion checking of C programs
N Kosmatov, G Petiot, J Signoles
International Conference on Runtime Verification, 167-182, 2013
422013
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
312014
Your proof fails? testing helps to find the reason
G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand
International Conference on Tests and Proofs, 130-150, 2016
232016
A lesson on runtime assertion checking with Frama-C
N Kosmatov, J Signoles
International Conference on Runtime Verification, 386-399, 2013
232013
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
222017
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 (1), 107-143, 2014
222014
Combining static analysis and test generation for C program debugging
O Chebaro, N Kosmatov, A Giorgetti, J Julliand
Tests and Proofs, 94-100, 2010
222010
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
202011
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
192016
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
192015
An all-in-one toolkit for automated white-box testing
S Bardin, O Chebaro, M Delahaye, N Kosmatov
International Conference on Tests and Proofs, 53-60, 2014
192014
How test generation helps software specification and deductive verification in Frama-C
G Petiot, N Kosmatov, A Giorgetti, J Julliand
International Conference on Tests and Proofs, 204-211, 2014
182014
All-paths test generation for programs with internal aliases
N Kosmatov
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008
182008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20