Finding Contradictions in Feature Models

@inproceedings{Hemakumar2008FindingCI,
  title={Finding Contradictions in Feature Models},
  author={Adithya Hemakumar},
  booktitle={SPLC},
  year={2008}
}
A feature model defines each product in a product-line by a unique combination of features. Feature compatibilities are expressed as constraints in feature models and may be contradictory. We suggest a run-time approach to expose contradictions in feature models when they are uncovered. However, the emphasis of this paper is to explore the possibility of finding contradictions statically using model checking and an incremental consistency algorithm. 
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 28 references

Technology Strategy in a Software Products Company

  • M. H. Meyer, Luis Lopez
  • Product Innovation Management, Blackwell…
  • 1995
Highly Influential
10 Excerpts

Models, Grammars, and Propositional Formulas

  • Don Batory, ”Feature
  • Paper presented at the 9th International Software…
  • 2005
Highly Influential
4 Excerpts

Trinidad, and A.Ruiz-Cortes, “Automated Reasoning on Feature Models

  • P. David Benavides
  • Advanced Information Systems Engineering
  • 2005
Highly Influential
7 Excerpts

Feature–Oriented Domain Analysis (FODA) Feasibility Study

  • S.C.K. Kang, J. Hess, W. Novak, S. Peterson
  • (Technical Report No. CMU/SEI-90-TR-21)
  • 1990
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…