In recent years, configuration errors (ie, misconfigurations) have become one of the
dominant causes of system failures, resulting in many severe service outages and …

Configuration problems are not only prevalent, but also severely impair the reliability of
today's system software. One fundamental reason is the ever-increasing complexity of …

Handling large-scale software variability is still a challenge for many organizations. After
decades of research on variability management concepts, many industrial organizations …

Highly-configurable systems are such systems which are not developed for single scenario.
However, perhaps they have variable functionality and they are developed for hybrid …

Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …

The release engineering process is the process that brings high quality code changes from
a developer's workspace to the end user, encompassing code change integration …

Although Software Product Lines are recurrently praised as an efficient paradigm for
systematic reuse, practical adoption remains challenging. For bottom-up Software Product …

A typical compiler such as GCC supports hundreds of optimizations controlled by
compilation flags for improving the runtime performance of the compiled program. Due to the …

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

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