Accuracy and Precision.
Wikipedia, The Free Encyclopedia.
Available online from wikipedia.org. Viewed May 2011..
Gojko Adzic (2011):
Specification by Example: How Successful Teams Deliver the Right Software.
Manning,
Greenwich, CT.
Robert Cartwright (1981):
Formal Program Testing.
In: Principles of Programming Languages,
pp. 125–132,
doi:10.1145/567532.567546.
Koen Claessen & John Hughes (2000):
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs.
In: International Conference on Functional Programming,
pp. 268–279,
doi:10.1145/351240.351266.
ScalaCheck Tutorial.
Available online from http://code.google.com/p/scalacheck/wiki/UserGuide.
Viewed May 2011..
Use-case Analysis.
Wikipedia, The Free Encyclopedia..
Available online from wikipedia.org. Viewed May 2011..