Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.

Colin Runciman, Matthew Naylor, Fredrik Lindblad

Browse the full HASKELL paper archive.