Testing Uniform Random Samplers: Methods, Datasets and Protocols

Olivier Zeyen, Maxime Cordy, Martin Gubri +2

Boolean formulae compactly encode huge, constrained search spaces. Thus, variability-intensive systems are often encoded with Boolean formulae. The search space of a variability-in…