Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Theory and Applications of Satisfiability Testing – SAT 2016 |
| Herausgeber/-innen | Daniel Le Berre, Nadia Creignou |
| Herausgeber (Verlag) | Springer Verlag |
| Seiten | 554-561 |
| Seitenumfang | 8 |
| ISBN (Print) | 9783319409696 |
| Publikationsstatus | Veröffentlicht - 11 Juni 2016 |
| Extern publiziert | Ja |
| Veranstaltung | 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 - Bordeaux, Frankreich Dauer: 5 Juli 2016 → 8 Juli 2016 |
Publikationsreihe
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Band | 9710 |
| ISSN (Print) | 0302-9743 |
| ISSN (elektronisch) | 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 Sachgebiete
- Mathematik (insg.)
- Theoretische Informatik
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Theory and Applications of Satisfiability Testing – SAT 2016. Hrsg. / Daniel Le Berre; Nadia Creignou. Springer Verlag, 2016. S. 554-561 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9710).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › 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 -