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 …

Software product line engineering has proven to empower organizations to develop a
diversity of similar software-intensive systems (applications) at lower cost, in shorter time …

This paper presents a survey of work on Search Based Software Engineering (SBSE) for
Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that …

Many approaches for testing configurable software systems start from the same assumption:
it is impossible to test all configurations. This motivated the definition of variability-aware …

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

The concept of features provides an elegant way to specify families of systems. Given a base
system, features encapsulate additional functionalities that can be activated or deactivated …

The advent of variability management and generator technology enables users to derive
individual system variants from a configurable code base by selecting desired configuration …

We present the formal underpinnings of a modelling and analysis framework for the
specification and verification of variability in product families. We address variability at the …

Software Product Lines (SPLs) are families of similar software products built from a common
set of features. As the number of products of an SPL is potentially exponential in the number …

Abstract A Featured Transition System (FTS) models the behaviour of all products of a
Software Product Line (SPL) in a single compact structure, by associating action-labelled …