Reasoning About Variability Models Through Network Analysis

Jose Manuel Sanchez, Miguel Angel Olivero, Ruben Heradio +2

Feature models are widely used to capture the configuration space of software systems. Although automated reasoning has been studied for detecting problematic features and supporti…