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 …

A software product line is a set of different software products that share commonalities. For a
selection of features, specialized products of one domain can be generated automatically …

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 …

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

Highly-configurable systems allow users to tailor the software to their specific needs. Not all
combinations of configuration options are valid though, and constraints arise for technical or …

Quality assurance for highly-configurable systems is challenging due to the exponentially
growing configuration space. Interactions among multiple options can lead to surprising …

Feature-sensitive verification pursues effective analysis of the exponentially many variants of
a program family. However, researchers lack examples of concrete bugs induced by …

In plugin-based systems, plugin conflicts may occur when two or more plugins interfere with
one another, changing their expected behaviors. It is highly challenging to detect plugin …

Highly configurable systems allow users to tailor software to specific needs. Valid
combinations of configuration options are often restricted by intricate constraints. Describing …

Modern software often exposes configuration options that enable users to customize its
behavior. During software evolution, developers may change how the configuration options …