@misc{indiciaef8899132ebef,
  title = {A Comprehensive Study of Pseudo-tested Methods},
  author = {Oscar Luis Vera-Pérez and Benjamin Danglot and Martin Monperrus and Benoit Baudry},
  year = {2018},
  doi = {10.1007/s10664-018-9653-2},
  url = {https://arxiv.org/abs/1807.05030},
  note = {Source identifier: 1807.05030}
}