@misc{indiciaeb0da395e9d5b,
  title = {Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing},
  author = {Saahil Ognawala and Alexander Pretschner and Thomas Hutzelmann and Eirini Psallida and Ricardo Nales Amato},
  year = {2018},
  url = {https://arxiv.org/abs/1803.04881},
  note = {Source identifier: 1803.04881}
}