QuickCheck

QuickCheck is an automatic testing system for Haskell that was created by Koen Claessen and John Hughes. I think it's great. If you write software in Haskell and don't use QuickCheck, you're probably working too hard.

Home: http://www.cs.chalmers.se/~rjmh/QuickCheck/