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
Principles of Programming Languages
125–132
10.1145/567532.567546
Koen Claessen
John Hughes
2000
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
International Conference on Functional Programming
268–279
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.