@inproceedings{AMT-2012-SelimCD,
	author        = "Gehan M. K. Selim and James R. Cordy and Jürgen Dingel",
	booktitle     = "{Proceedings of the First Workshop on Analysis of Model Transformations}",
	doi           = "10.1145/2432497.2432502",
	editor        = "Jürgen Dingel and Levi Lúcio and Hans Vangheluwe and Dániel Varró",
	pages         = "21--26",
	publisher     = "{ACM}",
	title         = "{Model transformation testing: the state of the art}",
	year          = 2012,
}