@InProceedings{SCI:Ben2002a,
  author =    "M. Benedikt and J. Freire and P. Godefroid",
  title =     "VeriWeb: Automatically Testing Dynamic Web
              Sites",
  booktitle = "In Proceedings of 11th International World Wide
              Web Conference 2002",
  year =      "2002",
  url =       "http://www.sci.utah.edu/publications/benedikt02/veriweb-www2002.pdf",
}