On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2004.08799/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTOn the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers — mentioned by zsuhttps://news.ycombinator.com/item?id=25135513urn:hackerpapers:mention:2004.08799:25135513Wed, 18 Nov 2020 11:18:37 GMT<p>Figure 8 in the OOPSLA paper (https://arxiv.org/pdf/2004.08799.pdf) provides a breakdown of the bugs found in different logics for Z3 and CVC4.</p><p><a href="https://hackerpaper.kaipfister.de/p/2004.08799/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE