@misc{indiciae8e3519026f19,
  title = {On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers},
  author = {Dominik Winterer and Chengyu Zhang and Zhendong Su},
  year = {2020},
  doi = {10.1145/3428261},
  url = {https://arxiv.org/abs/2004.08799},
  note = {Source identifier: 2004.08799}
}