Program menurut sf.net/projects/qc4j/

QC4J adalah kerangka kerja pengujian otomatis berbasis spesifikasi, berdasarkan QuickCheck for Haskell. Ini membuatnya mudah untuk menguji kode transparan secara referensional, dengan membuat data pengujian secara otomatis me