Support material for a talk on TDD, BDD & property-based/generative testing.