References

1. Accuracy and Precision. Wikipedia, The Free Encyclopedia. Available online from wikipedia.org. Viewed May 2011..
2. Gojko Adzic (2011): Specification by Example: How Successful Teams Deliver the Right Software. Manning, Greenwich, CT.
3. Robert Cartwright (1981): Formal Program Testing. In: Principles of Programming Languages, pp. 125–132, doi:10.1145/567532.567546.
4. 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.
5. ScalaCheck Tutorial. Available online from http://code.google.com/p/scalacheck/wiki/UserGuide. Viewed May 2011..
6. Use-case Analysis. Wikipedia, The Free Encyclopedia.. Available online from wikipedia.org. Viewed May 2011..

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org