I’ll try to collect several links with background reading.
Chapter 11 of Real World Haskell shows a great example of using QuickCheck in tandem with HPC.
Koen Claessen and John Hughes – QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs.
John Hughes – Software Testing with QuickCheck
Colin Runciman, Matthew Naylor, Fredrik Lindblad – Smallcheck and lazy smallcheck: automatic exhaustive testing for small values