A. Yu. Gerasimov

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Static Analysis

Test Data Generation

Top Venues

Program. Comput. Softw.

Publications

A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov
A Formal Model for Detecting Bugs by Symbolic Execution of Programs. Program. Comput. Softw. 46 (8) (2020)
A. Yu. Gerasimov, Leonid V. Kruglov, Mikhail K. Ermakov, Sergey P. Vartanov
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution. Program. Comput. Softw. 44 (6) (2018)
A. Yu. Gerasimov
Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation. Program. Comput. Softw. 44 (5) (2018)