QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs

QuickCheck Testing for Fun and Profit

Property-Based Testing, best explained in John Hughes own talk at Testing the Hard Stuff and Staying Sane.