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 …

Feature-oriented software development (FOSD) is a paradigm for the construction,
customization, and synthesis of large-scale software systems. In this survey, we give an …

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 …

In many projects, lexical preprocessors are used to manage different variants of the project
(using conditional compilation) and to define compile-time code transformations (using …

Product-line technology is increasingly used in mission-critical and safety-critical
applications. Hence, researchers are developing verification approaches that follow different …

We study the problem of model checking software product line (SPL) behaviours against
temporal properties. This is more difficult than for single systems because an SPL with n …

Detecting and understanding reasons for defects and inadvertent behavior in software is
challenging due to their increasing complexity. In configurable software systems, the …

Diversity is prevalent in modern software systems to facilitate adapting the software to
customer requirements or the execution environment. Diversity has an impact on all phases …

A software product line is a set of software products that are distinguished in terms of
features (ie, end-user-visible units of behavior). Feature interactions—situations in which the …

A software product line (SPL) encodes a potentially large variety of software products as
variants of some common code base. Up until now, re-using traditional static analyses for …