A lightning talk about Property-Based Testing and QuickCheck