@misc{indiciae0e1b19e73e2c,
  title = {On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs},
  author = {Hui Xu and Zirui Zhao and Yangfan Zhou and Michael R. Lyu},
  year = {2018},
  url = {https://arxiv.org/abs/1712.01674},
  note = {Source identifier: 1712.01674}
}