@misc{indiciae52cd310be686,
  title = {Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE},
  author = {John Galea and Sean Heelan and Daniel Neville and Daniel Kroening},
  year = {2018},
  url = {https://arxiv.org/abs/1805.03450},
  note = {Source identifier: 1805.03450}
}