@conference {188,
	title = {Validation of Model Transformations {\textendash} First Experiences using a White Box Approach},
	booktitle = {In Proceedings Of MoDeVa{\textquoteright}06 (3rd International Workshop on Model Development, Validation and Verification), associated to MODELS{\textquoteright}06 (9th International Conference on Model Driven Engineering Languages And Systems)},
	year = {2006},
	month = {October},
	pages = {62-77},
	abstract = {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.},
	url = {http://modeva.itee.uq.edu.au/accepted_papers/main.pdf},
	author = {K{\"u}ster, Jochen M. and AbdelRazik, Mohamed}
}