프로그램별 sf.net/projects/qc4j/

QC4J는 하스켈에 대한 QuickCheck를 기반으로 자동화된 사양 기반 테스트 프레임워크입니다. 사용자 정의 생성기를 통해 테스트 데이터를 자동으로 생성하여 참조적으로 투명한 코드를 쉽게 테스트할 수 있습니다.