Thomas Thüm

Variability Hiding in Contracts for Dependent Software Product Lines

2016

Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be reused itself in other product lines. A …

Variational correctness-by-construction

2020

Nowadays, the requirements for software and therefore also the required complexity is increasing steadily. Consequently, various techniques to handle the growing demand for software variants in one specific domain are used. These techniques often rely …

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. …

Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own

2022

In clone-and-own - the predominant paradigm for developing multi-variant software systems in practice - a new variant of a software system is created by copying and adapting an existing one. While clone-and-own is flexible, it …

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 …