Assertion guided symbolic execution of multithreaded programs.

Shengjian Guo Markus Kusano Chao Wang Zijiang Yang Aarti Gupta

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
genetic algorithm
test cases
software systems
pattern matching
software testing
neural network
database systems
search space