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