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.