A dataset of strong dependency and conflict graphs generated from Boolean formulas encoding the variability of highly configurable software systems
This Data Descriptor documents a dataset of 5,709 records that makes indirect relationships between dependencies and conflicts indirectly cause in variability models explicit and helps test configuration and sampling methods and supports research on conflict detection, impact analysis, and automated reasoning.
R. Heradio, Luis Cambelo, M. Olivero et al.
· Scientific Data · 0 citations