@misc{indiciaefd150ff27e6b,
  title = {Robustness Testing of Intermediate Verifiers},
  author = {Yu-Ting Chen and Carlo A. Furia},
  year = {2018},
  url = {https://arxiv.org/abs/1805.03296},
  note = {Source identifier: 1805.03296}
}