TY  - RPRT
TI  - On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
AU  - Dominik Winterer
AU  - Chengyu Zhang
AU  - Zhendong Su
PY  - 2020
DO  - 10.1145/3428261
UR  - https://arxiv.org/abs/2004.08799
ID  - 2004.08799
ER  -