Concepedia

Andrey Belevantsev

AB

9

Publications

190

Citations

9

H-Index

2014

Active since

Affiliations

Institute for System Programming(Current)

Lomonosov Moscow State University

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

ORCID

Top concepts

Publications per year

2014–2018

9

Publications

9

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

SharpChecker: Static analysis tool for C# programs

V. Koshelev, Valery Ignatiev, Artem Borzilov et al. · Programming and Computer Software · 2017 · 22 citations

Using static symbolic execution to detect buffer overflows

Andrey Belevantsev · Programming and Computer Software · 2017 · 22 citations

Scalable and accurate detection of code clones

Sevak Sargsyan, Andrey Belevantsev, Arutyun Avetisyan · Programming and Computer Software · 2016 · 18 citations

Rows per page

1–5 of 9