Configurable systems allow users to derive customized software variants with behavior and
functionalities tailored to individual needs. Developers of these configurable systems need …

Configurable systems are widely used for families of products that share multiple
configuration options. These systems often induce a large configuration space. Handling the …

The rise of highly configurable complex software and its widespread usage requires design
of efficient testing methodology. t-wise coverage is a leading metric to measure the quality of …

Many critical software systems developed in C utilize compile-time configurability. The many
possible configurations of this software make bug detection through static analysis difficult …

Testing highly-configurable software systems (ie, software product lines) is challenging due
to their large configuration space. T-wise sampling is one method of finding a representative …

Abstract t-wise coverage is one of the most important techniques used to test configurations
of software for finding bugs. It ensures that interactions between features of a Software …

The growth in Software Product Lines (SPLs) created a need for good and fast algorithms to
analyze them. Extracting information, such as the number of products, may be crucial to …

Product lines are widely used for managing families of similar products. Typically, product
lines are complex and infeasible to analyze manually. In the last two decades, product-line …