Examples of property-based testing with ScalaCheck, and using ScalaCheck with ScalaTest