Automated inference of likely metamorphic relations for model transformations | Publicación