|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
А. Ю. Герасимов, Д. О. Куц, А. А. Новиков, “Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ”, Труды ИСП РАН, 31:6 (2019), 21–32  |
|
2017 |
| 2. |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков, “Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения”, Труды ИСП РАН, 29:1 (2017), 149–166  |
2
|
| 3. |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков, “Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя”, Труды ИСП РАН, 29:1 (2017), 119–134 |
|
Обратная связь: