Dependence Guided Symbolic Execution.

Haijun Wang Ting Liu Xiaohong Guan Chao Shen Qinghua Zheng Zijiang Yang

Published in: IEEE Trans. Software Eng. (2017)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
software engineering
test cases
simulated annealing algorithm
data sets
real world
search algorithm