Quickcheck, Smallcheck, ...

John Hughes, Koen Classen:
Automatic Specification-Based Testing http://www.cs.chalmers.se/~rjmh/QuickCheck/



Johannes Waldmann 2011-01-18