Вартанов Сергей Павлович

Публикации в базе данных Math-Net.Ru

1. Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
   
   Труды ИСП РАН, 33:1 (2021),  7–32
2. Платформа автоматического фаззинга программного интерфейса приложений
   
   Труды ИСП РАН, 32:2 (2020),  161–173
3. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
   
   Труды ИСП РАН, 29:5 (2017),  111–134
4. Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения
   
   Труды ИСП РАН, 29:1 (2017),  149–166
5. Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах
   
   Труды ИСП РАН, 29:1 (2017),  135–148
6. Поиск состояний гонки в программах на языке Java при помощи динамического анализа
   
   Труды ИСП РАН, 27:2 (2015),  39–52
7. Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java
   
   Труды ИСП РАН, 27:2 (2015),  23–38
8. Применение статической инструментации байт-кода языка Java для динамического анализа программ
   
   Труды ИСП РАН, 27:1 (2015),  25–38
9. Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM
   
   Труды ИСП РАН, 27:1 (2015),  5–24