Comprehensive analysis of a software product line (SPL) is expensive because the number
of products to be analyzed is exponential in the number of the SPL's features. To …

The Linux kernel is actively-developed and widelyused. It supports billions of devices of all
classes, from highperformance computing to the Internet-of-Things, in part because of its …

Software systems and product lines often use configurable features to specify a portfolio of
product variants from a common core. Typically, their requirements also include constraints …

Variability constraints are an integral part of the requirements for a configurable system. The
constraints specified in the requirements on the legal combinations of options define the …

Testing configurable systems continues to be challenging and costly. Generation of
configurations for testing tends to use either techniques based on semantic sampling (eg …

A software product line (SPL) implements a family of related software products. As such,
analyzing a software produce line produces variable results that apply to some SPL variants …

Software variability has been shown to introduce bugs which only exist in certain variations
of a software product line (SPL). A SPL is formed with configuration options which change …