ScalaCheck: The Definitive Guide

ScalaCheck is a library that facilitates automated specification-based testing of Scala or Java software applications, originally inspired by the QuickCheck library of Haskell.

ScalaCheck: The Definitive Guide explains the big ideas behind ScalaCheck, and shows how to use it effectively to write tests at the higher level of property specifications.