Details
| Original language | English |
|---|---|
| Title of host publication | Theory and Applications of Satisfiability Testing – SAT 2016 |
| Editors | Daniel Le Berre, Nadia Creignou |
| Publisher | Springer Verlag |
| Pages | 554-561 |
| Number of pages | 8 |
| ISBN (print) | 9783319409696 |
| Publication status | Published - 11 Jun 2016 |
| Externally published | Yes |
| Event | 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 - Bordeaux, France Duration: 5 Jul 2016 → 8 Jul 2016 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 9710 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
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.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Theory and Applications of Satisfiability Testing – SAT 2016. ed. / Daniel Le Berre; Nadia Creignou. Springer Verlag, 2016. p. 554-561 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9710).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
AU - Manthey, Norbert
AU - Lindauer, Marius
N1 - 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.
PY - 2016/6/11
Y1 - 2016/6/11
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84977529512&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-40970-2_36
DO - 10.1007/978-3-319-40970-2_36
M3 - Conference contribution
AN - SCOPUS:84977529512
SN - 9783319409696
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 554
EP - 561
BT - Theory and Applications of Satisfiability Testing – SAT 2016
A2 - Le Berre, Daniel
A2 - Creignou, Nadia
PB - Springer Verlag
T2 - 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016
Y2 - 5 July 2016 through 8 July 2016
ER -