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

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

1. Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ
   
   Труды ИСП РАН, 31:6 (2019),  21–32
2. Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения
   
   Труды ИСП РАН, 29:1 (2017),  149–166
3. Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя
   
   Труды ИСП РАН, 29:1 (2017),  119–134