specs2-scalacheck provides integration between the specs2 testing framework and ScalaCheck property-based testing library for automated test case generation and shrinking.