AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sergey Vartanov

Sergey Vartanov

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Others
AD Scientific Index ID: 4625882
Институт системного программирования Российской академии наук
person_outline Sergey Vartanov's MOST POPULAR ARTICLES
1-) An approach to reachability determination for static analysis defects with the help of dynamic symbolic execution Programming and Computer Software 44 (6), 467-475, 2018
2-) Anxiety: a Dynamic Symbolic Execution Framework Ivannikov ISPRAS Open Conference (ISPRAS), 2017, 16-21, 2017
3-) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Труды Института системного программирования РАН 27 (2), 2015
4-) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Труды Института системного программирования РАН 26 (1), 375-394, 2014
5-) Smt solvers in application to static and dynamic symbolic execution: A case study 2019 Ivannikov Ispras Open Conference (ISPRAS), 9-15, 2019