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 …

A software product line comprises a family of software products that share a common set of
features. Testing an entire product-line product-by-product is infeasible due to the potentially …

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 …

Context: Testing is one of the techniques that can assure the quality of software including the
domain of Software Product Line (SPL). Various techniques have been deliberated to …

A Software Product Line (SPL) is a set of products built from a number of features, the set of
valid products being defined by a feature model. Typically, it does not make sense to test all …

A Software Product Line (SPL) is a set of software products that are built from a variability
model. Real-world SPLs typically involve a vast number of valid products, making it …

Approaches for automatic crash reproduction aim to generate test cases that reproduce
crashes starting from the crash stack traces. These tests help developers during their …

Testing every product of a software product line (SPL) is often not feasible due to the
exponential number of products in the number of features. Thus, the order in which products …

Search‐based crash reproduction approaches assist developers during debugging by
generating a test case, which reproduces a crash given its stack trace. One of the …

Family-based behavioral analysis operates on a single specification artifact, referred to as
family model, annotated with feature constraints to express behavioral variability in terms of …