Герасимов Александр Юрьевич

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

1. Case study: Source code static analysis for performance issues detection
   
   Труды ИСП РАН, 34:4 (2022),  7–20
2. An automated framework for testing source code static analysis tools
   
   Труды ИСП РАН, 33:3 (2021),  41–50
3. Платформа автоматического фаззинга программного интерфейса приложений
   
   Труды ИСП РАН, 32:2 (2020),  161–173
4. Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ
   
   Труды ИСП РАН, 31:6 (2019),  21–32
5. Combining dynamic symbolic execution, code static analysis and fuzzing
   
   Труды ИСП РАН, 30:6 (2018),  25–38
6. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
   
   Труды ИСП РАН, 29:5 (2017),  111–134
7. Обзор подходов к улучшению качества результатов статического анализа программ
   
   Труды ИСП РАН, 29:3 (2017),  75–98
8. Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения
   
   Труды ИСП РАН, 29:1 (2017),  149–166
9. Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах
   
   Труды ИСП РАН, 29:1 (2017),  135–148
10. Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя
    
    Труды ИСП РАН, 29:1 (2017),  119–134
11. Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа
    
    Труды ИСП РАН, 28:5 (2016),  159–174