원문 : QuickCheck: An Automatic Testing Tool for Haskell
퀵체크는 하스켈 프로그램을 자동으로 점검하는 도구이다. 개발자가 프로그램의 명세(specification) 를 입력하면 퀵체크는 무작위로 만들어진 수많은 경우에서 함수가 만족해야 하는 속성(property)이 유지되는지 점검한다. 명세는 퀵체크 라이브러리에 정의되어 있는 콤비네이터(combinator)를 이용해서 하스켈 문법으로 적는다. 퀵체크는 속성을 정의하고, 점검 데이터의 분포를 관찰하고, 점검 데이터 생성기를 정의할 수 있는 콤비네이터를 제공한다.