Sebastian Krieter

Tool demo: testing configurable systems with FeatureIDE

2016 · ACM SIGPLAN Notices

Most software systems are designed to provide custom functionality using configuration options. Testing such systems is challenging as running tests of a single configuration is often not sufficient, because defects may appear in other configurations. …

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

2022

Feature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses across …