Ермаков Михаил Кириллович

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

1. Технический долг в жизненном цикле разработки ПО: запахи кода
   
   Труды ИСП РАН, 33:6 (2021),  95–110
2. Платформа автоматического фаззинга программного интерфейса приложений
   
   Труды ИСП РАН, 32:2 (2020),  161–173
3. Combining dynamic symbolic execution, code static analysis and fuzzing
   
   Труды ИСП РАН, 30:6 (2018),  25–38
4. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
   
   Труды ИСП РАН, 29:5 (2017),  111–134
5. Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения
   
   Труды ИСП РАН, 29:1 (2017),  149–166
6. Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах
   
   Труды ИСП РАН, 29:1 (2017),  135–148
7. Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя
   
   Труды ИСП РАН, 29:1 (2017),  119–134
8. Проведение динамического анализа исполняемого кода формата ARM ELF на основе статического бинарного инструментирования
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236),  108–117
9. Поиск состояний гонки в программах на языке Java при помощи динамического анализа
   
   Труды ИСП РАН, 27:2 (2015),  39–52
10. Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java
    
    Труды ИСП РАН, 27:2 (2015),  23–38
11. Применение статической инструментации байт-кода языка Java для динамического анализа программ
    
    Труды ИСП РАН, 27:1 (2015),  25–38
12. Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM
    
    Труды ИСП РАН, 27:1 (2015),  5–24