2 papers
cs.AI2025
Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
Chico Sundermann, Stefan Vill, Elias Kuiter +3
Configurable systems typically consist of reusable assets that have dependencies between each other. To specify such dependencies, feature models are commonly used. As feature mode…
cs.SE2025
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
Dominik Krupke, Ahmad Moradi, Michael Perk +5
Modern software systems are typically configurable, a fundamental prerequisite for wide applicability and reusability. This flexibility poses an extraordinary challenge for quality…