Scala Check: The Definitive Guide: Property-Based Testing on the Java Platform by Richard Nilsson
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.