Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Semi-automated diagnosis of FODA feature diagram
Proceedings of the 2010 ACM Symposium on Applied Computing
Automated analysis of feature models 20 years later: A literature review
Information Systems
Automated diagnosis of feature model configurations
Journal of Systems and Software
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Hi-index | 0.00 |
Automated support for finding unsatisfiable fragments is desirable to help removing deficiency in inconsistent feature diagrams. In encoding feature diagrams into propositional logic formulas, such a problem reduces to finding unsatisfiable cores. Standard algorithms work on clausal formulas, which looses the structural aspect of feature diagram. In this paper, we propose a new automated method, which employs a boolean constraint propagation algorithm for non-clausal formulas. The method can eliminate the problems in the previous approaches, where translation back and forth is required between feature diagram and clausal formulas.