Automated Testing and Debugging of SAT and QBF Solvers

Free registration required

Executive Summary

Robustness and correctness are essential criteria for SAT and QBF solvers. The paper develops automated testing and debugging techniques designed and optimized for SAT and QBF solver development. The fuzz testing techniques are able to find critical solver defects that lead to crashes, invalid satisfying assignments and incorrect satisfiability results. Moreover, the paper shows that sequential and concurrent delta debugging techniques are highly effective in minimizing failure-inducing inputs.

  • Format: PDF
  • Size: 260.5 KB