Structurized grammar-based fuzz testing for programs with highly structured inputs.

Jingbo Yan Yuqing Zhang Dingning Yang

Published in: Secur. Commun. Networks (2013)

Keyphrases

highly structured
test generation
symbolic execution
test cases
learning algorithm
high level
software testing
concurrent programs
set of test cases
artificial intelligence
information technology
software development
computer programs
static analysis
fixpoint
automatic programming