Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach by Sergio Segura, Robert M. Hierons, David Benavides and Antonio Ruiz-Cortes 2.2. Automated analysis of feature modelsThe automated analysis o…