Robert Brummayer, Florian Lonsing, Armin Biere,
"Automated Testing and Debugging of SAT and QBF Solvers"
: Proc. 13th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'10), Serie Lecture Notes in Computer Science (LNCS), Vol. 6175, Springer, Seite(n) 44-57, 7-2010
Original Titel:
Automated Testing and Debugging of SAT and QBF Solvers
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 13th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'10)
Original Kurzfassung:
Robustness and correctness are essential criteria for SAT and
QBF solvers. We develop automated testing and debugging techniques
designed and optimized for SAT and QBF solver development. Our fuzz
testing techniques are able to find critical solver defects that lead to
crashes, invalid satisfying assignments and incorrect satisfiability results.
Moreover, we show that sequential and concurrent delta debugging techniques
are highly effective in minimizing failure-inducing inputs.