Concepedia

Alexey Borodin

AB

Statistics

Publications

4

Citations

114

H-Index

4

Active since

2014

Affiliations

Institute for System Programming(Current)

Alexey Borodin is an author at Institute for System Programming specializing in source code analysis, computer science, and software testing.

ORCID

Top concepts

Publications per year

2014–2018

4

Publications

4

Static analyzer Svace for finding defects in a source program code

Andrey Belevantsev, Alexey Borodin, Valery Ignatiev et al. · Programming and Computer Software · 2014 · 38 citations

Static analyzer Svace for finding of defects in program source code

Andrey Belevantsev, Alexey Borodin, Valery Ignatiev et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 38 citations · Full text

, , +23

A static analysis tool Svace as a collection of analyzers with various complexity levels

Alexey Borodin, A. Belevancev · Proceedings of the Institute for System Programming of RAS · 2015 · 24 citations · Full text

Design and Development of Svace Static Analyzers

Andrey Belevantsev, Alexey Borodin, Valery Ignatiev et al. · 2018 · 14 citations

, , +23

1–4 of 4