Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …

The advent of variability management and generator technology enables users to derive
individual variants from a variable code base based on a selection of desired configuration …

Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …

Formal specification and verification techniques have been used successfully to detect
feature interactions. We investigate whether feature-based specifications can be used for …

Software product lines (SPLs) are commonly developed using annotative approaches such
as conditional compilation that come with an inherent risk of constructing erroneous …

Highly configurable systems are complex pieces of software. To tackle this complexity,
hundreds of dedicated analysis techniques have been conceived, many of which able to …

We investigate how to execute a unit test for all products of a product line without generating
each product in isolation in a brute-force fashion. Learning from variability-aware analyses …

Variation is everywhere, and in the construction and analysis of customizable software it is
paramount. In this context, there arises a need for variational data structures for efficiently …

Configurable software systems allow developers to maintain a unique platform and address
a diversity of deployment contexts and usages. Testing configurable systems is essential …