|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
A. Yu. Gerasimov, A. A. Kanakhin, P. A. Privalov, A. A. Zhukov, E. A. Kaminskii, “Case study: Source code static analysis for performance issues detection”, Труды ИСП РАН, 34:4 (2022), 7–20  |
|
2021 |
| 2. |
D. M. Gimatdinov, A. Y. Gerasimov, P. A. Privalov, V. N. Butkevich, N. A. Chernova, A. A. Gorelova, “An automated framework for testing source code static analysis tools”, Труды ИСП РАН, 33:3 (2021), 41–50 |
|
2020 |
| 3. |
С. С. Саргсян, В. Г. Варданян, Д. А. Акопян, А. М. Агабалян, М. С. Меграбян, Ш. Ф. Курмангалеев, А. Ю. Герасимов, М. К. Ермаков, С. П. Вартанов, “Платформа автоматического фаззинга программного интерфейса приложений”, Труды ИСП РАН, 32:2 (2020), 161–173 |
|
2019 |
| 4. |
А. Ю. Герасимов, Д. О. Куц, А. А. Новиков, “Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ”, Труды ИСП РАН, 31:6 (2019), 21–32 |
|
2018 |
| 5. |
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov, “Combining dynamic symbolic execution, code static analysis and fuzzing”, Труды ИСП РАН, 30:6 (2018), 25–38  |
5
|
|
2017 |
| 6. |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов, “Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения”, Труды ИСП РАН, 29:5 (2017), 111–134 |
2
|
| 7. |
А. Ю. Герасимов, “Обзор подходов к улучшению качества результатов статического анализа программ”, Труды ИСП РАН, 29:3 (2017), 75–98 |
1
|
| 8. |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков, “Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения”, Труды ИСП РАН, 29:1 (2017), 149–166 |
2
|
| 9. |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов, “Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах”, Труды ИСП РАН, 29:1 (2017), 135–148 |
| 10. |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков, “Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя”, Труды ИСП РАН, 29:1 (2017), 119–134 |
|
2016 |
| 11. |
А. Ю. Герасимов, Л. В. Круглов, “Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа”, Труды ИСП РАН, 28:5 (2016), 159–174 |
4
|
|
Обратная связь: