Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
New and Controversial Ideas Track
Haus der Universität, Schlösslistrasse 5, 3008 Bern, Switzerland | |
7 February 2024, 17:10 CET | |
Elias Kuiter | |
Maximilian Kodetzki | |
https://dl.acm.org/doi/10.1145/3634713.3634733 |
With feature-model analyses, stakeholders can improve their understanding of complex configuration spaces. Computationally, these analyses are typically reduced to solving satisfiability problems. While this has been found to perform reasonably well on many models, estimating the efficiency of a given analysis on a given model is still difficult. We argue that such estimates are necessary due to the heterogeneity of feature models. We discuss inherently influential factors and suggest potential algorithmic solutions.