Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation. - A. Yu. Gerasimov (Program. Comput. Softw., 2018)

An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution. - A. Yu. Gerasimov; Leonid V. Kruglov; Mikhail K. Ermakov; Sergey P. Vartanov (Program. Comput. Softw., 2018)

Slicenomics: How to Provide Cost-Based Intra and Inter Slice Resource Management? - Alexander Gerasimov; Vitaly A. Antonenko (ICCCN, 2020)

A Formal Model for Detecting Bugs by Symbolic Execution of Programs. - A. Yu. Gerasimov; Daniil O. Kuts; Alexander A. Novikov (Program. Comput. Softw., 2020)