@article{GT-VMT-2013-RungeKH,
	author        = "Olga Runge and Tamim Ahmed Khan and Reiko Heckel",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/847",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Test Case Generation Using Visual Contracts}",
	volume        = 58,
	year          = 2013,
}