Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype. - View it on GitHub