@inbook {187,
	title = {Validation of Model Transformations {\textendash} First Experiences Using a White Box Approach},
	booktitle = {Lecture Notes in Computer Science - Models in Software Engineering},
	volume = {4364},
	year = {2007},
	pages = {193 - 204},
	publisher = {Springer Berlin Heidelberg},
	organization = {Springer Berlin Heidelberg},
	address = {Berlin, Heidelberg},
	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.},
	isbn = {978-3-540-69489-2},
	doi = {10.1007/978-3-540-69489-2_24},
	url = {http://www.springerlink.com/content/c581h8v535522720/},
	author = {K{\"u}ster, Jochen M. and AbdelRazik, Mohamed},
	editor = {K{\"u}hne, Thomas}
}