Quickcheck clone JAVA based random testing framework