Property-based testing tool for Java