A. Yu. Gerasimov

发表

Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation

A. Yu. Gerasimov, 2018, Program. Comput. Softw..

An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution

M. K. Ermakov, A. Yu. Gerasimov, Leonid V. Kruglov, 2019, Programming and Computer Software.

A Formal Model for Detecting Bugs by Symbolic Execution of Programs

A. Yu. Gerasimov, A. A. Novikov, D. O. Kuts, 2020, Program. Comput. Softw..