Model-based whitebox fuzzing for program binaries.

Van-Thuan Pham Marcel Böhme Abhik Roychoudhury

Published in: ASE (2016)

Keyphrases

control flow
program execution
data driven
data sets
databases
source code
computer programs
web pages
image processing
website
test cases
data flow
static analysis
control program
program understanding