quickcheck for java

We have hosted the application quickcheck for java in order to run this application in our online workstations with Wine or directly.

Quick description about quickcheck for java:

QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.

Audience: Developers.
User interface: Console/Terminal, Eclipse.
Programming Language: Java.

.