Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
FeatureIDE: A tool framework for feature-oriented software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
Reverse engineering architectural feature models
ECSA'11 Proceedings of the 5th European conference on Software architecture
A Toolset for Feature-Based Configuration Workflows
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
BeTTy: benchmarking and testing on the automated analysis of feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each
Proceedings of the 34th International Conference on Software Engineering
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Reverse engineering feature models with evolutionary algorithms: an exploratory study
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Multi-objective test generation for software product lines
Proceedings of the 17th International Software Product Line Conference
PLEDGE: a product line editor and test generation tool
Proceedings of the 17th International Software Product Line Conference co-located workshops
| Hi-index | 0.00 |
Mass customization of software products requires their efficient tailoring performed through combination of features. Such features and the constraints linking them can be represented by Feature Models (FMs), allowing formal analysis, derivation of specific variants and interactive configuration. Since they are seldom present in existing systems, techniques to re-engineer FMs have been proposed. There are nevertheless error-prone and require human intervention. This paper introduces an automated search-based process to test and fix FMs so that they adequately represent actual products. Preliminary evaluation on the Linux kernel FM exhibit erroneous FM constraints and significant reduction of the inconsistencies.