Configurability is a common property of software allowing programs to be customized for the
user. While configurability is pervasive, it can also lead to faults (or misconfigurations) and …

Feature toggles and configuration options are techniques to include or exclude functionality
in software. The research contributions to these two techniques have most often been …

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 …

Program slicing is a well-established technique for identifying a reduced subset of a
program based on pre-defined criteria, leading to complexity reduction in subsequent …

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 …

Software products have many configurations to meet different environments and diverse
needs. Building software with multiple software configurations typically incurs high costs in …

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 …

Developing embedded microcontroller code is a complex task, especially for undergrad
students new to this area. These students often make high-level conceptual mistakes …

Running static analysis rules in the wild as part of a commercial service demands special
consideration of time limits and scalability, given the large and diverse real-world workloads …

Model management frameworks support a wide array of analyses, transformations, and
workflows, but lack native support for handling product lines of models. Yet the ubiquity of …