Login / Signup
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