Detecting critical bugs in SMT solvers using blackbox mutational fuzzing – Related Work – Interesting papers

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
[arXiv] [Google Scholar] [DBLP] [Citeseer]

arXiv 2004.05934 cs.SE
2020
Note(s): SMT solver
Papers: brummayer:sat:2010, stump:fmsd:2013

Proofs in satisfiability modulo theories [barrett:mlf:2015]
Automated testing and debugging of SAT and QBF solvers [brummayer:sat:2010]
SMT proof checking using a logical framework [stump:fmsd:2013]

The opinions expressed are my own views and not my employer’s.