Static analysis is an important tool for detecting bugs in real-world software. The advent of
numerous analysis algorithms with their own tradeoffs has led to the proliferation of …

Configurable software makes up most of the software in use today. Configurability, ie, the
ability of software to be customized without additional programming, is pervasive, and due to …

Highly-configurable software underpins much of our computing infrastructure. It enables
extensive reuse, but opens the door to broken configuration specifications. The configuration …

In clone-and-own-the predominant paradigm for developing multi-variant software systems
in practice-a new variant of a software system is created by copying and adapting an …

Configurable software systems and software product lines build on features as first class
entities for reasoning about commonalities and variability among system variants. While it is …

Software product line (SPL) systems are widely employed to develop industrial projects. For
an SPL system, different products/variants are created by combining different subsets of the …

Software fault localization is one of the most expensive, tedious, and time-consuming
activities in program debugging. This activity becomes even much more challenging in …

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 …

Developers often use the C preprocessor to handle variability and portability. However,
many researchers and practitioners criticize the use of preprocessor directives because of …

Many large-scale software systems intensively implement variability to reuse software and
speed up development. Such mechanisms, however, bring additional complexity, which …