Статья Стохастическое тестирование программного обеспечения для поиска уязвимостей Манеев А. О., Спивак А. И.