Using source transformation to test and model check implicit-invocation systems. Zhang, H.; Bradbury, J. S.; Cordy, J. R.; and Dingel, J. Sci. Comput. Program., 62(3):209-227, 2006.
Using source transformation to test and model check implicit-invocation systems. [link]Link  Using source transformation to test and model check implicit-invocation systems. [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
}
Downloads: 0