開發者 sf.net/projects/qc4j/

QC4J 是一個基於規範的自動化測試框架，基於 Haskell 的快速檢查。通過使用者定義的生成器自動創建測試數據，可以方便地測試參考透明代碼。