@InProceedings{Berghofer:SEFM04-230,
  author =       "Stefan Berghofer and Tobias Nipkow",
  title =        "Random Testing in {Isabelle}/{HOL}",
  year =         "2004",
  pages =        "230--239",
  ee =           "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.36",
  booktitle =    "2nd International Conference on Software Engineering
                 and Formal Methods ({SEFM} 2004), 28--30 September 2004,
                 Beijing, China",
  publisher =    "IEEE Computer Society",
}