As of 2008-06-12 0:00:00 GMT, this project is no longer under active development.

QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.