プログラム sf.net/projects/qc4j/

QC4J は、Haskell のクイックチェックに基づく、自動化された仕様ベースのテストフレームワークです。これにより、ユーザー定義のジェネレーターを使用してテスト データを自動的に作成することで、透過的なコードを簡単にテストできます。