Property-Based Testing for Domain Rules in PHP

Example-based tests check the cases you thought of. Property-based tests find the ones you didn't. Eris, PHPUnit 11, and a real refactor.