@misc{indiciae8b7641e41e93,
  title = {Differentially Testing Soundness and Precision of Program Analyzers},
  author = {Christian Klinger and Maria Christakis and Valentin Wüstholz},
  year = {2018},
  url = {https://arxiv.org/abs/1812.05033},
  note = {Source identifier: 1812.05033}
}