Reasoning about edits to feature models

By Thomas Thüm, Don S. Batory, Christian Kästner. 2009 IEEE 31st International Conference on Software Engineering, 2009

389 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems

View Paper: https://www.semanticscholar.org/paper/538ce907de1b78804ccb31810e8fd6633adef997

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Information Systems

Citations in the corpus

A Classification and Survey of Analysis Strategies for Software Product Lines (2014, background): “While the satisfiability problem is NP-complete, in practice, satisfiability solvers perform well when reasoning about variability models [Mendonça et al. 2009; Thüm et al. 2009].”
Feature-Oriented Software Product Lines (2013, methodology): “Furthermore, the analysis can be used to compare and possibly merge two independently changed feature models (Thüm et al. 2009).”
SAT-based analysis of feature models is easy (2009, methodology): “Many research groups [43] [27] [9] [35] [21] [33] have used these techniques in analysis tools observing very good performance even in the case of large-scale models.”
A practical guide for using statistical tests to assess randomized algorithms in software engineering (2011, methodology): “For example, the techniques described in [27, 57] use external SAT solvers, and those might be based on randomized algorithms, though we cannot say for sure.”
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering (2014, methodology): “For exam-195 ple, the techniques described in the work of Hsu and Orso [60] and the work of Thum et al. [112] use external SAT solvers, and those might be based on randomized algorithms, though it was not possible to tell with cer-197 tainty.”
Automated analysis of feature models 20 years later: A literature review (2010, methodology): “SAT Solver [17] [5, 14, 16, 56, 70, 75] Alloy [2] [37, 74] BDD Solver [95] [14, 16, 30, 57, 70, 86, 87, 103, 100] SMV [71] [101, 102] Not specified [51, 52]”
FeatureIDE: An extensible framework for feature-oriented software development (2014, methodology): “Refactorings can be used to improve the readability by simplifying constraints, by removing features not occurring in any configuration, or by reorganizing the structure of the feature model (Thüm et al., 2009).”