@article{artho03experiments,
  author = "C. Artho and H. Barringer and A. Goldberg and K. Havelund
  and S. Khurshid and M. Lowry and C. Pasareanu and G. Ro\c{s}u and K. Sen
  and W. Visser and R. Washington",
  title = {{Combining Test Case Generation with Run-time Verification}},
  journal = {ASM issue of Theoretical Computer Science},
  publisher = {Elsevier},
  volume={336},
  number={2/3},
  pages={209--234},
  year = {2005},
}