DeepHyperion: Exploring the Feature Space of Deep Learning-based Systems through Illumination Search
| dc.contributor.author | Zohdinasab, Tahereh | |
| dc.contributor.author | Riccio, Vincenzo | |
| dc.contributor.author | Gambi, Alessio | |
| dc.contributor.author | Tonella, Paolo | |
| dc.contributor.editor | Engels, Gregor | |
| dc.contributor.editor | Hebig, Regina | |
| dc.contributor.editor | Tichy, Matthias | |
| dc.date.accessioned | 2023-01-18T13:38:54Z | |
| dc.date.available | 2023-01-18T13:38:54Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | We report about recent research on satisfiability solving for variational domains, originally published in 2022 in the Empirical Software Engineering Journal (EMSE) within the special issue on configurable systems[ Yo22]. Incremental SAT solving is an extension of classic SAT solving that enables solving a set of related SAT problems by identifying and exploiting shared terms. However, using incremental solvers effectively is hard since performance is sensitive to the input order of subterms and results must be tracked manually. This paper translates the ordering problem to an encoding problem and automates the use of incremental solving. We introduce variational SAT solving, which differs from incremental solving by accepting all related problems as a single variational input and returning all results as a single variational output. Variational SAT solving automates the interaction with the incremental solver and enables a method to automatically optimize sharing in the input. We formalize a variational SAT algorithm, construct a prototype variational solver, and perform an empirical analysis on two real-world datasets that applied incremental solvers to software evolution scenarios. We show that the prototype solver scales better for these problems than four off-the-shelf incremental solvers while also automatically tracking individual results. | en |
| dc.identifier.isbn | 978-3-88579-726-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40120 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2023 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-332 | |
| dc.subject | Software testing | |
| dc.subject | deep learning | |
| dc.subject | search-based software engineering | |
| dc.subject | self-driving cars | |
| dc.title | DeepHyperion: Exploring the Feature Space of Deep Learning-based Systems through Illumination Search | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 132 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 131 | |
| gi.conference.date | 20.–24. Februar 2023 | |
| gi.conference.location | Paderborn | |
| gi.conference.sessiontitle | Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1