Validation of Model Transformations - First Experiences using a White Box Approach
J. Küster, M. Abd-El-Razik, in: Proceedings of the Workshop on Model Design and Validation (MoDea 2006), Toulouse (France), Springer, Berlin/Heidelberg, 2006, pp. 62–77.