Property-based testing, JUnit-style
