Describir: Estado del arte de testing de transformaciones de modelos