Coverage-guided fuzzing is one of the most effective approaches for discovering software defects and vulnerabilities. It executes all mutated tests from seed inputs to expose coverage-increasing tests. However, executing incurs significant performance penalties---most are discarded because they do not increase code coverage. Thus, determining if a test increases coverage without actually it ben...

to be sure, that a program behaves correctly at runtime; the behavior of the program should be verified. where the program source code is available, it is possible to extract the operational logic (i.e., behavior) of the program. but in this paper, programs are considered as black boxes, so no information is available about the operational logic of programs. however, some efforts are spent to l...