Publications (4)
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Tobias Pett, Sebastian Krieter, Thomas Thüm +1
Ensuring the functional safety of highly configurable systems often requires testing representative subsets of all possible configurations to reduce testing effort and save resourc…
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Sebastian Krieter, Thomas Thüm, Sandro Schulze +4
Sampling techniques, such as t-wise interaction sampling are used to enable efficient testing for configurable systems. This is achieved by generating a small yet representative sa…
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…
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…