Atur cara mengikut sf.net/projects/qc4j/

QC4J adalah rangka kerja ujian berasaskan spesifikasi automatik, berdasarkan QuickCheck untuk Haskell. Ia memudahkan untuk menguji kod rujukan telus, dengan membuat data ujian secara automatik melalui penjana yang ditakrifkan