QC4J

Inactive

Automated, specification-based testing framework ported from QuickCheck (Haskell); generates test data via user-defined generators for referentially transparent code.

Metadata