QuickCheck: a lightweight tool for random testing of Haskell programs
Partition testing does not inspire confidence