โปรแกรมตาม sf.net/projects/qc4j/

QC4J เป็นกรอบการทดสอบอัตโนมัติตามข้อกําหนดตาม QuickCheck สําหรับ Haskell มันทําให้ง่ายต่อการทดสอบรหัสโปร่งใสอ้างอิงโดยการสร้างข้อมูลการทดสอบโดยอัตโนมัติผ่านเครื่องกําเนิดไฟฟ้าที่ผู้ใช้กําหนด