A theory of diagnosis from first principles
Artificial Intelligence
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Finding all minimal unsatisfiable subsets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Autonomic Self-Healing Systems in a Cross-Product IT Environment
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Extending the ATAM Architecture Evaluation to Product Line Architectures
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Capturing quality requirements of product family architecture
Information and Software Technology
Automated Model-Based Configuration of Enterprise Java Applications
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Variability Driven Quality Evaluation in Software Product Lines
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Quality prediction and assessment for product lines
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Non-clausal encoding of feature diagram for automated diagnosis
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Software product line evolution with cardinality-based feature models
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Consistency maintenance for evolving feature models
Expert Systems with Applications: An International Journal
Specifying system families with TLA+
SEPADS'12/EDUCATION'12 Proceedings of the 11th WSEAS international conference on Software Engineering, Parallel and Distributed Systems, and proceedings of the 9th WSEAS international conference on Engineering Education
Composing multiple variability artifacts to assemble coherent workflows
Software Quality Control
Automatic selection of test execution plans from a video conferencing system product line
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Architectural evolution of FamiWare using cardinality-based feature models
Information and Software Technology
On lazy and eager interactive reconfiguration
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Evolving feature model configurations in software product lines
Journal of Systems and Software
Hi-index | 0.00 |
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules. Each SPL configuration is represented as a selection of features from the feature model. Invalid SPL configurations can be created due to feature conflicts introduced via staged or parallel configuration or changes to the constraints in a feature model. When invalid configurations are created, a method is needed to automate the diagnosis of the errors and repair the feature selections. This paper provides two contributions to research on automated configuration of SPLs. First, it shows how configurations and feature models can be transformed into constraint satisfaction problems to automatically diagnose errors and repair invalid feature selections. Second, it presents empirical results from diagnosing configuration errors in feature models ranging in size from 100 to 5,000 features. The results of our experiments show that our CSP-based diagnostic technique can scale up to models with thousands of features.