Property-based testing, JUnit-style
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Property-Based Testing on the JUnit Platform
Property based testing for Java 8