JUnit Quick Check

JUnit-QuickCheck : Property-based testing, JUnit-style