Automated configuration can be used to improve the performance of algorithms, for example SAT solvers for verification problems.
While this process boosts the performance, buggy configurations that have never been executed before might be revealed.
The tool SpyBug finds erroneous configurations of programs (in particular SAT solvers) and their parameter specification.


  • Manthey, N. and Lindauer, M.
    SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
    In: Proceedings of the International Conference on Satisfiability Solving (SAT’16)