2024/03/11 by Самарин, Н. Н.
#Computer and information sciences #FOS: Computer and information sciences
paper · doi:10.48612/jisp/3aap-r5uf-7519
Выделены наиболее существенные свойства программного обеспечения для поиска ошибок методом точечного фаззинга. Сформулирована обобщенная теоретико-множественная модель программного обеспечения, представлена ее инвариантная форма и доказаны ее адекватность, универсальность и непротиворечивость.