Data-Driven Design and Evaluation of SMT Meta-Solving Strategies
| dc.contributor.author | Mues, Malte | |
| dc.contributor.author | Howar, Falk | |
| dc.contributor.editor | Grunske, Lars | |
| dc.contributor.editor | Siegmund, Janet | |
| dc.contributor.editor | Vogelsang, Andreas | |
| dc.date.accessioned | 2022-01-19T12:56:54Z | |
| dc.date.available | 2022-01-19T12:56:54Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | The 36th IEEE/ACM International Conference on Automated Software Engineering (2021) accepted the paper ‘Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost’ [MH21a] and selected it for an ACM SIGSOFT Distinguished Paper Award. The paper presents four generally applicable patterns for the combination of multiple SMT decision procedures in a meta-solving strategy and demonstrates how a meta-solving strategy for string constraints can be developed in a data-driven approach based on these patterns: The paper cleans up and merges existing collections of SMT benchmarks in string theory solving to evaluate and compare derived meta-solving strategies. Notably, we can demonstrate on the available data that commonly used strategies as earliest returning SMT solver do not always return the most reliable result if all available SMT solvers are combined. Instead, cross-checking strategies work slightly better at moderate overhead. | en |
| dc.identifier.doi | 10.18420/se2022-ws-024 | |
| dc.identifier.isbn | 978-3-88579-714-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/37977 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2022 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-320 | |
| dc.subject | SMT Solving | |
| dc.subject | Portfolio Solving | |
| dc.subject | Formal Methods | |
| dc.subject | Software Verification | |
| dc.title | Data-Driven Design and Evaluation of SMT Meta-Solving Strategies | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 76 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 75 | |
| gi.conference.date | 21.-25. Feburar 2022 | |
| gi.conference.location | Berlin/Virtuell | |
| gi.conference.sessiontitle | Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- A1-24.pdf
- Größe:
- 218.33 KB
- Format:
- Adobe Portable Document Format