Automated metamorphic testing on the analyses of feature models | Publicación