customizable software. In practice, they can be large, defining thousands of features with
their dependencies and conflicts. In such cases, visualization techniques and automated
analysis support are crucial for understanding the models. This paper contributes to this line
of research by presenting a novel, probabilistic foundation for statistical reasoning about
variability models. Our approach not only provides a new way to visualize, describe and …