авторА. В. АстраховДинамический анализ программного обеспечения методами фаззинга и символьного исполненияПроведение сертификационных испытаний межсетевых экрановСертификация программного обеспечения. Статический анализ программного кода
Буклинкер
