@article{SCAM-J-2005-ZhangBCD06,
	author        = "Hongyu Zhang and Jeremy S. Bradbury and James R. Cordy and Jürgen Dingel",
	doi           = "10.1016/j.scico.2006.04.008",
	journal       = "{Science of Computer Programming}",
	number        = 3,
	pages         = "209--227",
	title         = "{Using source transformation to test and model check implicit-invocation systems}",
	volume        = 62,
	year          = 2006,
}