TY  - RPRT
TI  - Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE
AU  - Chengyu Zhang
AU  - Ting Su
AU  - Yichen Yan
AU  - Ke Wu
AU  - Geguang Pu
PY  - 2019
UR  - https://arxiv.org/abs/1803.06516
ID  - 1803.06516
ER  -