A Fuzzing Framework Based on Symbolic Execution and Combinatorial Testing.

Jian Yang Huanguo Zhang Jianming Fu

Published in: GreenCom/iThings/CPScom (2013)

Keyphrases

symbolic execution
test data generation
static analysis
databases
real world
specification language
test generation