Login / Signup
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.
Dominik Winterer
Chengyu Zhang
Zhendong Su
Published in:
CoRR (2020)
Keyphrases
</>
information retrieval
e learning
case study
anomaly detection
evolutionary process
highly optimized
modulo theories