@article{ICMT-J-2012-GuerraS15,
	author        = "Esther Guerra and Mathias Soeken",
	doi           = "10.1007/s10270-013-0369-x",
	journal       = "{Software and System Modeling}",
	number        = 2,
	pages         = "623--644",
	title         = "{Specification-driven model transformation testing}",
	volume        = 14,
	year          = 2015,
}