@misc{indiciaea9c0348b750c,
  title = {Automated Isolation for White-box Test Generation},
  author = {Dávid Honfi and Zoltán Micskei},
  year = {2019},
  doi = {10.1016/j.infsof.2020.106319},
  url = {https://arxiv.org/abs/1910.02513},
  note = {Source identifier: 1910.02513}
}