Software product line engineering is about producing a set of related products that share
more commonalities than variabilities. Feature models are widely used for variability and …

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 …

Since the last publication of this international bestseller, software testing has seen a
renaissance of renewed interest and technology. The biggest change comes in the growing …

Variability modeling is essential for defining and managing the commonalities and
variabilities in software product lines. Numerous variability modeling approaches exist today …

Feature models are a popular variability modeling notation used in product line engineering.
Automated analyses of feature models, such as consistency checking and interactive or …

Over the last two decades, software product lines have been used successfully in industry
for building families of systems of related products, maximizing reuse, and exploiting their …

Configurable software systems allow stakeholders to derive program variants by selecting
features. Understanding the correlation between feature selections and performance is …

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 …

Many software systems provide users with a set of configuration options and different
configurations may lead to different runtime performance of the system. As the combination …

The automated analysis of feature models is recognized as one of the key challenges for
automated software development in the context of Software Product Lines (SPL). However …