ScalaCheck - Property-based automated testing for Scala