ScalaCheckは、Scalaで書かれたライブラリであり、ScalaやJavaプログラムのプロパティベースの自動テストに使用されます。 ScalaCheckはもともとHaskellライブラリのQuickCheckに触発されていましたが、独自の方法でもテストしました。
ScalaCheckには、Scalaランタイム以外の外部依存関係はなく、Scalaビルドツールであるsbtでうまく動作します。また、ScalaTestとspecs2のテストフレームワークに完全に統合されています。