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.
Nice overview of the main features in Scalacheck. Although I was using Scalacheck for a few years, still I was able to gain good knowledge from this book, such as about property labelling or shrinking. Although somewhat unrelated, adding extra chapters about the newer integrations built for Cats Effect would be nice!