A. E. Borodin

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Static Analysis

Test Generation

Software Maintenance

Top Venues

Program. Comput. Softw.

Publications

V. O. Afanasyev, S. A. Polyakov, A. E. Borodin, A. A. Belevantsev
Kotlin from the Point of View of Static Analysis Developer. Program. Comput. Softw. 49 (7) (2023)
A. E. Borodin, A. V. Goremykin, Sergey P. Vartanov, A. A. Belevantsev
Searching for Taint Vulnerabilities with Svace Static Analysis Tool. Program. Comput. Softw. 47 (6) (2021)
A. E. Borodin, I. A. Dudina
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection. Program. Comput. Softw. 47 (8) (2021)
I. V. Bolotnikov, A. E. Borodin
Interprocedural Static Analysis for Finding Bugs in Go Programs. Program. Comput. Softw. 47 (5) (2021)
V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan
Static analyzer Svace for finding defects in a source program code. Program. Comput. Softw. 40 (5) (2014)