Property-based testing: What is it anyway? | Hacker News Reader