プログラム yaqc4j.sf.net

Yaqc4jは、ジョン・ヒューズによるハスケルのクイックチェックに基づく仕様ベースのテストフレームワークです。ユーザー定義の組み込みジェネレーターを使用してテスト データを自動的に作成します。このプロジェクトは、クイルメス国立大学によってサポートされています。