Chương trình theo sf.net/projects/qc4j/

QC4J là một khuôn khổ kiểm tra tự động, dựa trên đặc điểm kỹ thuật, dựa trên QuickCheck cho Haskell. Nó làm cho nó dễ dàng để kiểm tra mã referentially minh bạch, bằng cách tạo dữ liệu thử nghiệm tự động thông qua người dùng