Martin Gogolla, Antonio Vallecillo. ::::Tract::::able Model Transformation Testing. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 221-235, Springer, 2011. [doi]
Abstract is missing.