2 papers
cs.SE2026
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…
cs.SE2026
A Comparative Analysis of Backbone Algorithms for Configurable Software Systems
Luis Cambelo, Ruben Heradio, Jose-Miguel Horcas +2
The backbone of a Boolean formula is the set of literals that must be true in every assignment that satisfies the formula. This concept is fundamental to key operations on variabil…