@inproceedings{artho03exp,
  author = "C. Artho and D. Drusinsky and A. Goldberg and K. Havelund and M. Lowry and C. Pasareanu and G. Rosu and W. Visser",
  title = "Experiments with Test Case Generation and Runtime Analysis",
  booktitle = "Proc.\ 10th Int.\  Workshop on Abstract State Machines (ASM~2003)",
  series = {LNCS},
  volume = {2589},
  address = {Taormina, Italy},
  pages  = {87--107},
  publisher = {Springer},
  year = "2003",
}