Parallel Symbolic Execution: Merging In-Flight Requests.

Martin Nowack Katja Tietze Christof Fetzer

Published in: Haifa Verification Conference (2015)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
data flow
specification language
database
genetic algorithm
decision trees
case study
programming language
test cases
domain independent