QuickCheck for Java

As of 2008-06-12, 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.