@article{GT-VMT-2011-HeckelKM,
	author        = "Reiko Heckel and Tamim Ahmed Khan and Rodrigo Machado",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/667",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Towards Test Coverage Criteria for Visual Contracts}",
	volume        = 41,
	year          = 2011,
}