@article{GT-VMT-2012-KhanRH,
	author        = "Tamim Ahmed Khan and Olga Runge and Reiko Heckel",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/728",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Visual Contracts as Test Oracle in AGG 2.0}",
	volume        = 47,
	year          = 2012,
}