Programy według sf.net/projects/qc4j/

QC4J to zautomatyzowana, oparta na specyfikacjach struktura testowania, oparta na QuickCheck for Haskell. Ułatwia testowanie kodu referencyjnego, tworząc dane testowe automatycznie za pośrednictwem generatorów zdefiniowanych