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)