Куц Даниил Олегович

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

1. Hybrid approach to directed fuzzing
   
   Труды ИСП РАН, 37:6(2) (2025),  53–64
2. Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки
   
   Труды ИСП РАН, 37:4(2) (2025),  251–270
3. Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ
   
   Труды ИСП РАН, 31:6 (2019),  21–32
4. Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения
   
   Труды ИСП РАН, 29:1 (2017),  149–166
5. Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя
   
   Труды ИСП РАН, 29:1 (2017),  119–134