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 …

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 …

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

Artificial intelligence has gained considerable momentum in software engineering, but there
are major challenges that make this domain special. We review recent advances, raise …

Quality assurance for product lines is often infeasible for each product separately. Instead,
only a subset of all products (ie, a sample) is considered during testing such that at least the …

Numerous software systems are highly configurable and provide a myriad of configuration
options that users can tune to fit their functional and performance requirements (eg …

Product lines are ubiquitous for managing variable systems. The variability of a product line
is typically described in terms of a feature model. Analyzing a feature model gives insight …

What is the number of valid configurations for Linux? How to generate uniform random
samples for Linux? Can we create a binary decision diagram for Linux? It seems that the …

Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0
expose highly variable systems with colossal configuration spaces. The automated analysis …

In practice, feature models often have up-to thousands of features and, thus, are typically
infeasible to analyze manually. Hence, many different analyses have been proposed which …