M.: Validation of Model Transformations - First Experiences using a White Box Approach

Abstract. Validation of model transformations is important for ensur-ing their quality. Successful validation must take into account the char-acteristics of model transformations and develop a suitable fault model on which test case generation can be based. In this paper, we report our experiences in validating a number of model transformations and pro-pose three techniques that can be used for constructing test cases