TDD leads to better production code, but it has its limitations. We can only write so many tests, and the more tests we maintain, the more tests we need to change with new requirements. What often causes bugs are the cases that we didn’t think about. With property based testing we write fewer tests, with less boilerplate, that test more. In this workshop we will take a closer look at ScalaCheck and how we can use it to write tests that document your business rules explicitly. This will be done by generation of every possible input, calculation of satisfactory output, and automation of hundreds of checks in a single test case. Come see how property-based testing can press you and your code to higher levels of correctness and simplicity.