Leonid V. Kruglov

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Evolutionary Algorithm

Symbolic Execution

Static Analysis

Top Venues

Program. Comput. Softw.

Publications

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)