SLE 2025
Thu 12 - Fri 13 June 2025 Koblenz, Germany
co-located with STAF 2025
Fri 13 Jun 2025 14:15 - 14:37 at M 001 - SLE Session 5: Language Tooling Chair(s): Görel Hedin

Feature models evolve in multiple iterations over time. When modellers change a model, they enact syntactical changes in order to produce specific semantic differences between model iterations. Many tools have been developed to analyze such syntactical differences, but the changing semantics of models were harder to assess. Tools for semantic differences between feature model iterations rely on Binary Decision Diagrams (BDDs) or encode each change into SAT, the former leading to BDD scaling issues and the latter requiring editor support or other specialized tooling. We contribute the first concise formalization of feature models and their semantic differences into propositional logic and use it to efficiently and scalably classify semantic differences using SAT solvers. We then extend our definition into QSAT in order to quantify the full list of semantic differences between feature models and enumerate them using QBF tools, without needing specialized feature model solvers. We implement a semantic difference classifier using our UVL processing pipeline based on Booleguru (instead of the more widely used FeatureIDE) and evaluate it on industrial feature model instances in the standardized UVL format. We also evaluate our QSAT-based semantic difference enumerator and reproduce prior results. We provide all software and evaluation results in an artifact.

Fri 13 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
SLE Session 5: Language ToolingSLE 2025 at M 001
Chair(s): Görel Hedin Lund University
13:30
22m
Talk
Optimize Effect Handling for Tail-resumption with Stack UnwindingArtifact FunctionalArtifact Available
SLE 2025
Yuze Fu University of Tokyo, Shigeru Chiba University of Tokyo
13:52
22m
Talk
Variability Fault Localization by Abstract Interpretation and its Application to SPL RepairArtifact ReusableArtifact Available
SLE 2025
Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15
22m
Talk
(Semantic) Feature Model Differences with (Q)SATArtifact FunctionalArtifact Available
SLE 2025
Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz
14:37
22m
Talk
Detecting Resource Leaks on Android with Alpakka
SLE 2025
Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do Porto
Pre-print