Асрян С А

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

1. Combining dynamic symbolic execution, code static analysis and fuzzing
   
   Труды ИСП РАН, 30:6 (2018),  25–38
2. Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения
   
   Труды ИСП РАН, 30:3 (2018),  7–20
3. Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM
   
   Труды ИСП РАН, 27:6 (2015),  33–48