Nikolaï Kosmatov
Thales (Australia)(AU)Thales (France)(FR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Security and Verification in Computing, Formal Methods in Verification, Software Reliability and Analysis Research, Advanced Malware Detection Techniques
Most-Cited Works
- → Frama-C: A software analysis perspective(2015)379 cited
- → Frama-C(2012)331 cited
- → Boundary Coverage Criteria for Test Generation from Formal Models(2005)67 cited
- → Common specification language for static and dynamic analysis of C programs(2013)63 cited
- → Program slicing enhances a verification technique combining static and dynamic analysis(2012)58 cited
- → The dogged pursuit of bug-free C programs(2021)58 cited
- → Automating structural testing of C programs: Experience with PathCrawler(2009)49 cited