Беляев Михаил Анатольевич

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

1. Fast and safe concrete code execution for reinforcing static analysis and verification
   
   Модел. и анализ информ. систем, 22:6 (2015),  763–772
2. Использование метода ограниченной проверки моделей для генерации тестов
   
   Модел. и анализ информ. систем, 21:6 (2014),  83–93
3. Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
   
   Модел. и анализ информ. систем, 20:6 (2013),  22–35
4. Статический анализ с использованием систем типов и эффектов на основе LLVM
   
   Модел. и анализ информ. систем, 18:4 (2011),  45–55