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

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

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 …

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 …

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 …

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 …

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

Many approaches for testing configurable software systems start from the same assumption:
it is impossible to test all configurations. This motivated the definition of variability-aware …

Most modern software systems (operating systems like Linux or Android, Web browsers like
Firefox or Chrome, video encoders like ffmpeg, x264 or VLC, mobile and cloud applications …

We present BURST, a benchmarking platform for uniform random sampling techniques. With
BURST, researchers have a flexible, controlled environment in which they can evaluate the …