WipeOutR: automated redundancy detection for feature models

Feature models are used to specify variability and commonality properties of software artifacts. In order to assure high-quality models, different feature model analysis and testing operations can be applied. In this paper, we present two new algorithms that help to make feature model configuration as well as different kinds of analysis operations more efficient. Specifically, we focus on the automated identification of redundancies in feature models and cor-responding test suites. Redundant constraints in feature models can lead to low-performing configuration (solution) search and also to additional efforts in feature model debugging. Redundant feature model test cases can trigger inefficiencies in testing operations. In this paper, we introduce WipeOutR which is an algorithmic approach to support the automated identification of redundancies. This approach has the potential to significantly improve the quality of feature model development and configuration.