Details zu Publikationen

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

verfasst von
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.

Externe Organisation(en)
Technische Universität Dresden
Albert-Ludwigs-Universität Freiburg
Typ
Aufsatz in Konferenzband
Seiten
554-561
Anzahl der Seiten
8
Publikationsdatum
11.06.2016
Publikationsstatus
Veröffentlicht
Peer-reviewed
Ja
ASJC Scopus Sachgebiete
Theoretische Informatik, Informatik (insg.)
Elektronische Version(en)
https://doi.org/10.1007/978-3-319-40970-2_36 (Zugang: Geschlossen)