A property-based testing library for Scala, providing automatic generation of test data and property checking.