Property-based testing, a hands-on example | Heykuki News