Postconditioned Symbolic Execution.

Qiuping Yi Zijiang Yang Shengjian Guo Chao Wang Jian Liu Chen Zhao

Published in: ICST (2015)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
specification language
source code
data flow
test cases
artificial intelligence
data sets
simulated annealing algorithm
relational databases
decision trees
formal specification
quality assurance