ResearchPublications
Publications Details

Publication Details

SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers

authored by
Norbert Manthey, Marius Lindauer
Abstract

Automated configuration is used to improve the performance of a SAT solver. Increasing the space of possible parameter configurations leverages the power of configuration but also leads to harder maintain-able code and to more undiscovered bugs. We present the tool SpyBug that finds erroneous minimal parameter configurations of SAT solvers and their parameter specification to help developers to identify and narrow down bugs in their solvers. The importance of SpyBug is shown by the bugs we found for four well-known SAT solvers that won prices in international competitions.

External Organisation(s)
Technische Universität Dresden
University of Freiburg
Type
Conference contribution
Pages
554-561
No. of pages
8
Publication date
11.06.2016
Publication status
Published
Peer reviewed
Yes
ASJC Scopus subject areas
Theoretical Computer Science, Computer Science(all)
Electronic version(s)
https://doi.org/10.1007/978-3-319-40970-2_36 (Access: Closed)