Towards Efficient Data-flow Test Data Generation Using KLEE.

Chengyu Zhang Ting Su Yichen Yan Ke Wu Geguang Pu

Published in: CoRR (2018)

Keyphrases

data flow
test data generation
symbolic execution
database machine
control flow
simplex method
test cases
database systems
object oriented
neural network