@misc{indiciae416a34d76ad5,
  title = {Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results},
  author = {Sahil Verma and Roland H. C. Yap},
  year = {2020},
  doi = {10.1109/ictai.2019.00010},
  url = {https://arxiv.org/abs/2001.07914},
  note = {Source identifier: 2001.07914}
}