@misc{indiciae6f3ed25e2074,
  title = {Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE},
  author = {Chengyu Zhang and Ting Su and Yichen Yan and Ke Wu and Geguang Pu},
  year = {2019},
  url = {https://arxiv.org/abs/1803.06516},
  note = {Source identifier: 1803.06516}
}