Морозов Сергей Антонович

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

1. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Труды ИСП РАН, 35:3 (2023),  91–108
2. Автоматическое тестирование LLVM-программ со сложными входными структурами данных
   
   Труды ИСП РАН, 34:4 (2022),  49–62