@article{GT-VMT-2014-AlshanqitiH,
	author        = "Abdullah M. Alshanqiti and Reiko Heckel",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/940",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Towards Dynamic Reverse Engineering Visual Contracts from Java}",
	volume        = 67,
	year          = 2014,
}