An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing.

Saahil Ognawala Ana Petrovska Kristian Beckers

Published in: CoRR (2017)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
database
relational databases
evolutionary algorithm
description language