Validation of Model Transformations – First Experiences Using a White Box Approach

Validation of model transformations is important for ensuring
their quality. Successful validation must take into account the characteristics
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 propose
three techniques that can be used for constructing test cases.