Several relevant analyses on configurable software systems remain intractable because
they require examining vast and highly-constrained configuration spaces. Those analyses …

Many analyses on configurable software systems are intractable when confronted with
colossal and highly-constrained configuration spaces. These analyses could instead use …

Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem
of theoretical and practical interest for the testing community. Recent works proposed two …

Almost every software system provides configuration options to tailor the system to the target
platform and application scenario. Often, this configurability renders the analysis of every …

Configurable software systems provide a multitude of configuration options to adjust and
optimize their functional and non-functional properties. For instance, to find the fastest …

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 …

Sampling a small, valid and representative set of configurations from software product lines
(SPLs) is important, yet challenging due to a huge number of possible configurations to be …

Highly configurable systems are complex pieces of software. To tackle this complexity,
hundreds of dedicated analysis techniques have been conceived, many of which able to …

Validating a configurable software system is challenging, as there are potentially millions of
configurations, which makes testing each configuration individually infeasible. Thus, existing …

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