Uploaded the slides of my talk "Writing bulletproof code with property-based testing" at Droidcon Lisbon