@misc(Accuracy,
 title        = "Accuracy and Precision",
 howpublished = "Wikipedia, The Free Encyclopedia",
 note         = "Available online from {\tt wikipedia.org}. Viewed May 2011.",
)
@book(ByExample,
 author       = "Gojko Adzic",
 year         = "2011",
 title        = "Specification by Example: How Successful Teams Deliver the Right Software",
 publisher    = "Manning",
 address      = "Greenwich, CT",
)
@inproceedings(Test,
 author       = "Robert Cartwright",
 year         = "1981",
 title        = "Formal Program Testing",
 booktitle    = "Principles of Programming Languages",
 pages        = "125--132",
 doi          = "10.1145/567532.567546",
)
@inproceedings(QuickCheck,
 author       = "Koen Claessen and John Hughes",
 year         = "2000",
 title        = "{Q}uick{C}heck: A Lightweight Tool for Random Testing of {H}askell Programs",
 booktitle    = "International Conference on Functional Programming",
 pages        = "268--279",
 doi          = "10.1145/351240.351266",
)
@misc(ScalaCheck,
 title        = "{ScalaCheck} Tutorial",
 howpublished = "Available online from {\tt http://code.google.com/p/scalacheck/wiki/UserGuide}",
 note         = "Viewed May 2011.",
)
@misc(UseCase,
 title        = "{Use-case Analysis}",
 howpublished = "Wikipedia, The Free Encyclopedia.",
 note         = "Available online from {\tt wikipedia.org}. Viewed May 2011.",
)