Для цитирования:

Герасимов А.Ю., Саргсян С.С., Курмангалеев Ш.Ф., Акопян Д.А., Асрян С.А., Ермаков М.К. Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга. Труды Института системного программирования РАН. 2018;30(6):25-38. https://doi.org/10.15514/ISPRAS-2018-30(6)-2

For citation:

Gerasimov A.Yu., Sargsyan S.S., Kurmangaleev S.F., Hakobyan J.A., Asryan S.A., Ermakov M.K. Combining dynamic symbolic execution, code static analysis and fuzzing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(6):25-38. https://doi.org/10.15514/ISPRAS-2018-30(6)-2