A cover-based approach for configuration repair

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Citations (Scopus)


Feature models are often used to describe variability and commonality in Software Product Lines, specifying admissible configurations of valid products. However, invalid configurations may arise in some scenarios. These include feature model evolution that invalidates pre-existing products or collaborative configuration by multiple stakeholders with conflicting goals, among others. This problem has been acknowledged in the literature and some techniques for configuration repair have already been proposed. However, common optimization criteria such as proximity between original and repaired configurations can result in a significant number of alternative repair possibilities, easily attaining thousands of alternatives for models of practical dimension. Consequently, rather than just efficiently providing an exhaustive list of possibilities, an approach that specifically addresses this issue should be able to offer the user a manageable and comprehensible view of the configuration problems and potential repair options. We offer a novel approach for configuration repair, based on partitioning and cover analysis, with high performance and generating high quality solutions, which allows efficient identification and presentation of multiple competing repairs.
Original languageEnglish
Title of host publicationSPLC '14 Proceedings of the 18th International Software Product Line Conference
EditorsD. Dhungana, S. Gnesi, J. Rubin, K. Czarnecki, P. Heymans, A. Fantechi
Place of PublicationNew York
PublisherACM - Association for Computing Machinery
ISBN (Print)978-1-4503-2740-4
Publication statusPublished - 15 Sept 2014
Event18th International Software Product Line Conference (SPLC 2014) - Florence, Italy
Duration: 15 Sept 201419 Sept 2014
Conference number: 18th

Publication series

NameACM International Conference Proceeding Series
PublisherAssociation for Computing Machinery (ACM)


Conference18th International Software Product Line Conference (SPLC 2014)
Abbreviated title(SPLC 2014)


  • Configuration
  • Configuration Diagnosis
  • Configuration Repair
  • Feature Modeling
  • Software Product Lines


Dive into the research topics of 'A cover-based approach for configuration repair'. Together they form a unique fingerprint.

Cite this