АВТОМАТИЗОВАНИЙ ПОШУК ВРАЗЛИВОСТЕЙ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ІЗ ЗАСТОСУВАННЯМ МЕТОДІВ ГЛИБИННОГО НАВЧАННЯ
Journal Title: КОМП’ЮТЕРНІ НАУКИ ТА КІБЕРБЕЗПЕКА - Year 2018, Vol 4, Issue 12
Abstract
Наведено теоретичну інформацію про тестування програмного забезпечення методом фаззінгу. Розглянуто технології навчання з підкріпленням та використання інтелектуального фаззінгу в процесі тес-тування програмного забезпечення. Описано алгоритм, за допомогою якого реалізуються зазначені методи та технології. Запропоновані статистичні результати досліджень, які були проведені під час тестування деяких програм та утиліт, призначених для повсякденного використання, а також програми, розробленої студентами.
Authors and Affiliations
Кирило Чернов, Єгор Єрьомін, Марія Попова, Олексій Шаповал, Євген Котух
Keywords
Related Articles
- EP ID EP552624
- DOI -
- Views 107
- Downloads 0
Сompilations method and semantic verification time parameterized of multiparallel programs
It provides definitions vremyaparametrizovannyh multiparallelnyh programs that (in contrast to the conventional treatment of parallel programs) contain moments of the start of operations specifications / features, as wel...
MATHEMATICAL MODEL FOR THE FINGERPRINT MINUTIAE DISTORTION
This paper involves the research of biometric fingerprint images, minutiae and the mathematical probabil-istic model of their distortion. The suggested model is based on heuristic analysis of the fingerprint scanning res...
L-codes in the system of residual classes
The method for correcting data errors in the residual class system, by applying the corrective properties of L-codes were developed in the article, which one are formed by using reciprocals pairwise not simple bases. Thi...
PROPOSALS OF COMPARATIVE ANALYSIS AND DECISION MAKING DURING THE COMPETITION REGARDING THE CERTAIN BENEFITS OF ASYMMETRIC POST QUANTUM CRYPTOGRAPHIC PRIMITIVES
The paper considers proposals on the implementation of cryptographic primitives comparative analysis and substantiation, development and experimental confirmation of methodical bases application possibilities of system u...
PRACTICAL CLASSIFICATION TOPOLOGICAL STRUCTURES OF COMMUNICATION NETWORKS FOR MULTIPROCESSOR COMPUTER SYSTEMS
Proposed by the working version of practical classification topological structures of communication networks for multiprocessor computer systems. Any n-dimensional non-full mesh structure presented here as the result of...