Abstract-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 reengineer FMs have been proposed. There are nevertheless errorprone 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.
Perrouin et al. REF proposed an automated search-based process to test and fix feature models.
Towards automated testing and fixing of re-engineered feature models
ICSE '13
Computer Science