QuickCheck for Java 4j
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/qc4j/files/qc4j-core/qc4j-core-0.1/qc4j-core-0.1.jar/download
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.
Related Programs
-
Invisible Protector II Pro Free
Invisible Protector protect your private applications with fake errorWhat's the best app protector? Strong password? Of course NOT. The best proector would let prier not be aware of any protection and it also can hid
-
BDB Developer Edition Free Trial
BDB is a full-featured database design software.It supports Oracle, SQL Server, MySQL, Access, SQLAnywhere and Sybase.In addition, BDB is also a great SQL Query Intellisense Tool.Main BDB features:• Database design.Bu
-
Supermount removable media support Free
Supermount is a pseudo-filesystem which manages filesystems on removable media like floppy disks and CD-ROMs. It frees you from need to manually mount and unmount media.
-
Smart Lock Lite(App Protector) Free
Lock any app on your phone.No more worry when show your phone to friends.Do you need a little bit of privacy for your android device?Do you hate someone to play around with sensitive messages, photo, etc on your device?If
-
Airpush Finder Free Trial
Have you been bothered by Ad. notification? Airpush Finder could help you to find and remove the apps with Airpush notification easily.The search speed of Airpush Finder is very fast, only need couple seconds. And Airpush Fin
-
Tamil Tools Free
The goal of Tamil Tools project is to consolidate major open source softwares related Tamil language in one place. Immediate goal is to develop a standard encoding convertor between TSCII, TAB and Unicode as envisaged by INF
-
Petri-LLD Free
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well a
-
Advanced Message Free Trial
Advanced Message is an enhanced and advanced android message app, you can send and receive emoji and group message with friends, you can custom more feature in this app, just see the follow feature:Feature: - Flat style bubbl
-
Hoepsch JSON Free
Hoepsch JSON is a Java library for creating and reading JSON Objects. The library focusses on ease of use, simplicity and consistency. Object creation via add/get is supported as well as object marshalling. Test cases are pro
-
mspgcc4 Free
This is a port of the GCC 4.x branch to the Texas Instruments MSP430 microcontroller core. It is based on the MSPGCC project that is stuck with GCC 3.2.3.