|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
А. Е. Бородин, И. А. Дудина, “Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения”, Труды ИСП РАН, 32:6 (2020), 87–100  |
3
|
|
2018 |
| 2. |
И. А. Дудина, Н. Е. Малышев, “Об одном подходе к анализу строк в языке Си для поиска переполнения буфера”, Труды ИСП РАН, 30:5 (2018), 55–74  |
| 3. |
I. A. Dudina, “Buffer overflow detection via static analysis: expectations vs. reality”, Труды ИСП РАН, 30:3 (2018), 21–30 |
|
2016 |
| 4. |
И. А. Дудина, “Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа”, Труды ИСП РАН, 28:5 (2016), 119–134 |
1
|
| 5. |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин, “Поиск ошибок доступа к буферу в программах на языке C/C++”, Труды ИСП РАН, 28:4 (2016), 149–168 |
5
|
|
2015 |
| 6. |
В. К. Кошелев, И. А. Дудина, В. Н. Игнатьев, А. И. Борзилов, “Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя”, Труды ИСП РАН, 27:5 (2015), 59–86 |
9
|
|
