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