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)

BibTeX

@inproceedings{c80145b763b44ad6967e64e9d4835ff0,
title = "SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers",
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.",
author = "Norbert Manthey and Marius Lindauer",
note = "Funding information: N. Manthey Supported by the DFG grant HO 1294/11-1. M. Lindauer Supported by the DFG under Emmy Noether grant HU 1900/2-1. ; 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 ; Conference date: 05-07-2016 Through 08-07-2016",
year = "2016",
month = jun,
day = "11",
doi = "10.1007/978-3-319-40970-2_36",
language = "English",
isbn = "9783319409696",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "554--561",
editor = "{Le Berre}, Daniel and Nadia Creignou",
booktitle = "Theory and Applications of Satisfiability Testing – SAT 2016",
address = "Germany",
}

Publication Details

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

Funded by