Property-based test framework - View it on GitHub