With modern requirements, there is an increasing tendency of considering multiple
objectives/criteria simultaneously in many Software Engineering (SE) scenarios. Such a …

Search-based software engineering (SBSE) is changing the way traditional software
engineering (SE) activities are carried out by reformulating them as optimisation problems …

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 …

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 …

Analyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex
dependencies among features and find legal configurations. Often these analyses do not …

A feature model (FM) is a compact representation of the information of all possible products
from software product lines. The optimal feature selection involves the simultaneous …

With large scale and complex configurable systems, it is hard for users to choose the right
combination of options (ie, configurations) in order to obtain the wanted trade-off between …

Currently, software development is more associated with families of configurable software
than the single implementation of a product. Due to the numerous possible combinations in …

A Software Product Line (SPL) is a family of similar programs. Each program is defined by a
unique set of features, called a configuration, that satisfies all feature constraints.“What …

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 …