Шудрак, М.О. и Золотарев, В.В. 2015. Модель, алгоритмы и программный комплекс автоматизированного поиска уязвимостей в исполняемом коде. Труды СПИИРАН. 5, 42 (окт. 2015), 212-231. DOI:https://doi.org/10.15622/sp.42.11.