QuickCheck for Java Generates Data for Automated Software Testing