Шудрак, М. О.; Золотарев, В. В. Модель, алгоритмы и программный комплекс автоматизированного поиска уязвимостей в исполняемом коде. ТС 2015, 5, 212-231.