Writing bulltproof code with property-based testing