Automated metamorphic testing of variability analysis tools | Publicación