Testing Transformation Models Using Classifying Terms - Burgueño, Loli; Hilken, Frank; Vallecillo, Antonio; Gogolla, Martin (Theory and Practice of Model Transformation, 2017)