ПУБЛИКАЦИИ

2014

Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных. Труды Института системного программирования РАН, том 26. Часть 1, 2014 г.

Читать: PDF



2013

Применение динамического анализа для поиска дефектов в программах на языке Java. Труды Института системного программирования РАН, том 25, 2013 г.

Читать: PDF



Автоматический поиск ошибок синхронизации в приложениях на платформе Android. Труды Института системного программирования РАН, том 24, 2013 г.

Читать: PDF



2012

Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Труды Института системного программирования РАН, том 22, 2012 г.

Читать: PDF



Динамический анализ Java-приложений при помощи инструментации байт-кода и анализа потока помеченных данных. Сборник тезисов лучших дипломных работ 2012 года (М.: Издательский отдел факультета ВМК МГУ, 2012 — 190 с.).

Читать: PDF



© Сергей Вартанов, 2007—2015see also in English