@article{journals/scp/ZhangBCD06, author = {Zhang, Hongyu and Bradbury, Jeremy S. and Cordy, James R. and Dingel, Jürgen}, date = {2006-11-22}, ee = {http://dx.doi.org/10.1016/j.scico.2006.04.008}, interhash = {3839331a1211ce794353e500583269f3}, intrahash = {88b495981a43c110d100a3bb91daf51f}, journal = {Sci. Comput. Program.}, number = 3, pages = {209-227}, title = {Using source transformation to test and model check implicit-invocation systems.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp62.html#ZhangBCD06}, volume = 62, year = 2006 }