Submit Software
  1. Home
  2. Windows
  3. Other
  4. QuickCheck for Java

QuickCheck for Java 4j

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version qc4j-core-0.1 posted on 2007-09-19
    Several fixes and updates
  • Version qc4j-core-0.1 posted on 2007-09-19

Program Details

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.