Link  Paper  bibtex   

@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
}