@inproceedings{gopinath2020abstracting,
  title={Abstracting Failure-Inducing Inputs},
  author={Rahul Gopinath and Alexander Kampmann and Nikolas Havrikov and Ezekiel Soremekun and Andreas Zeller},
  booktitle={Proceedings of the 2020 International Symposium on Software Testing and Analysis},
  year={2020},
  organization={ACM}
}