Static analyzer Svace for finding defects in a source program code. - V. P. Ivannikov; A. A. Belevantsev; Alexey E. Borodin; V. N. Ignatiev; D. M. Zhurikhin; Arutyun Avetisyan (Program. Comput. Softw., 2014)

Searching for Taint Vulnerabilities with Svace Static Analysis Tool. - Alexey E. Borodin; A. V. Goremykin; Sergey P. Vartanov; A. A. Belevantsev (Program. Comput. Softw., 2021)

Kotlin from the Point of View of Static Analysis Developer. - Vitaly O. Afanasyev; Sergey A. Polyakov; Alexey E. Borodin; A. A. Belevantsev (Program. Comput. Softw., 2023)