Беляев Михаил Владимирович

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

1. Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения
   
   Труды ИСП РАН, 37:6(1) (2025),  101–120
2. Modeling of library functions in an industrial static code analyzer
   
   Труды ИСП РАН, 32:3 (2020),  21–31
3. Сравнительный анализ двух подходов к статическому анализу помеченных данных
   
   Труды ИСП РАН, 29:3 (2017),  99–116