Кошелев Владимир Константинович

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

1. Формализация определения ошибок при статическом символьном выполнении
   
   Труды ИСП РАН, 28:5 (2016),  105–118
2. Поиск ошибок доступа к буферу в программах на языке C/C++
   
   Труды ИСП РАН, 28:4 (2016),  149–168
3. Инфраструктура статического анализа программ на языке C#
   
   Труды ИСП РАН, 28:1 (2016),  21–40
4. Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
   
   Труды ИСП РАН, 27:5 (2015),  59–86