ソフトウェアテスト
QuickCheck（クイックチェック）は、テストスイート用のテストケースを生成してソフトウェアテストを行うための、Haskellで書かれたコンビネータライブラリである。GHCコンパイラとHugsインタプリタに対応している。