Nikolaï Kosmatov

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verifying redundant-check based countermeasures: a case study

Thibault Martin and others (2022) · ACM Symposium on Applied Computing

Time to clean your test objectives

Michaël Marcozzi and others (2018) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers

An All-in-One Toolkit for Automated White-Box Testing

Sébastien Bardin and others (2014) · Lecture notes in computer science · Springer Science+Business Media

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

Sébastien Bardin and others (2014) · IEEE International Conference on Software Testing, Verification and Validation (ICST)