Костюков Юрий Олегович

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

1. Автоматическое тестирование LLVM-программ со сложными входными структурами данных
   
   Труды ИСП РАН, 34:4 (2022),  49–62
2. Автоматическое доказательство корректности программ с динамической памятью
   
   Труды ИСП РАН, 31:5 (2019),  37–62
3. Discovering near duplicate text in software documentation
   
   Труды ИСП РАН, 29:4 (2017),  303–314