Get Alternative find best software

QuickCheck

Software testing

QuickCheck Description
QuickCheck is a combinator library originally written in Haskell, designed to assist in software testing by generating test cases for test suites. It is compatible with the GHC compiler and the Hugs interpreter.
In QuickCheck the programmer writes assertions about logical properties that a function should fulfill. Then QuickCheck attempts to generate a test case that falsifies these assertions. Once such a test case is found, QuickCheck tries to reduce it to a minimal failing subset by removing or simplifying input data that are not needed to make the test fail.
The project was started in 1999. Besides being used to test regular programs, QuickCheck is also useful for building up a functional specification, for documenting what functions should be doing, and for testing compiler implementations.
Re-implementations of QuickCheck exist for a number of languages:
* C
* C++
* Chicken Scheme
* Clojure
* Common Lisp
* D
* Elm
* Elixir
* Erlang
* F# (and C#, VB.NET)
* Factor
* Go
* Io
* Java
* JavaScript
* Julia
* Logtalk
* Lua
* Node.js
* Objective-C
* OCaml
* Perl
* Prolog
* PHP
* Python
* R
* Racket
* Ruby
* Rust
* Scala
* Scheme
* Smalltalk
* Standard ML
* Swift
A list below shows QuickCheck alternatives which were either selected by us or voted for by users. You can filter this list by tags and platforms

Latest version of QuickCheck is 2.6 and it was released on 2013-03-07.

QuickCheck Alternatives

  • Darcs by Guillaume Hoffmann, et al.

    Darcs is a distributed version control system created by David Roundy. Key features include the ability to choose which changes to accept from other repositories, interaction with either other local...

    Latest version of Darcs is 2.12.5 and it was released on 2017-01-11.

    Tags: Crossplatform Free Software, Distributed Version Control Systems, Free Software Programmed In Haskell, Free Version Control Software
  • Ganeti by Google

    Ganeti is a virtual machine cluster management tool developed by Google. The solution stack uses either Xen, KVM or LXC as the virtualization platform, LVM for disk management, and optionally DRBD...

    Tags: Google Software, Virtualization Software, Virtualizationrelated Software For Linux, Free Software Programmed In Python, Free Software Programmed In Haskell
  • Yesod by Michael Snoyman et al.

    Yesod (יְסוֺד, "Foundation") is a free and open-source web framework based on Haskell for productive development of type-safe, REST model based (where URLs identify resources, and HTTP methods...

    Latest version of Yesod is 1.4.1 and it was released on 2014-11-23.

    Tags: Web Frameworks, Free Software Programmed In Haskell, Haskell Software
  • Snap

    Snap is a web development framework written in the Haskell programming language. It is used by Silk, JanRain, Racemetric, www.lpaste.net, SooStone Inc, and Group Commerce. Snap is also used as a...

    Latest version of Snap is 1.0 and it was released on 2016-08-07.

    Tags: Haskell Software, Free Software Programmed In Haskell, Web Frameworks
  • Gitit by John MacFarlane

    Gitit (or darcsit) is a form of wiki software employing a distributed revision control system such as Git to manage the wiki history, and the Pandoc document conversion system to manage markup -...

    Tags: Free Wiki Software, Free Software Programmed In Haskell, Software Using Distributed Version Control, Distributed Bug Tracking Systems
  • Happstack

    Happstack (Haskell Application Stack) is a free application server for websites written in the functional programming language Haskell. It integrates handling Web, persistence, XML/XSLT, and...

    Latest version of Happstack is 7.0 and it was released on 2012-03-29.

    Tags: Free Software Programmed In Haskell, Free Web Server Software
  • Pandoc

    Pandoc is a free and open-source software document converter, widely used as a writing tool (especially by scholars) and as a basis for publishing workflows. It was originally created by John...

    Latest version of Pandoc is 1.19 and it was released on 2016-12-01.

    Tags: 2006 Software, Free Software Programmed In Haskell, Technical Communication Tools, Workflow Software
  • TAO by ,, (formerly CRP Henri Tudor),, research unit of the

    TAO is the French acronym for Testing Assisté par Ordinateur (Computer Based Testing). The TAO framework provides an open architecture for computer-assisted test development and delivery, with the...

    Latest version of TAO is 3.0 and it was released on {{Start date and age|2015|05|}}.

    Tags: Free Software Testing Tools, Educational Assessment And Evaluation, Software For Teachers
  • SourceMeter by {{URL|https://frontendart.com/|FrontEndART Ltd.}}

    SourceMeter is a source code analyzer tool, which can perform deep static program analysis of the source code of complex programs in C, C++, Java, Python, C#, and RPG (AS/400). FrontEndART has...

    Latest version of SourceMeter is 8.0 and it was released on 2016-02-01.

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • RIPS by RIPS Technologies

    RIPS (Re-Inforce PHP Security) is a static code analysis software for the automated detection of security vulnerabilities in PHP applications. The initial tool was written by Johannes Dahse and...

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • Java Pathfinder by NASA

    Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005. The acronym JPF is not to be confused with...

    Latest version of Java Pathfinder is 6.0 and it was released on 2010-11-30.

    Tags: Free Software Testing Tools
  • Cppcheck

    Cppcheck is a static code analysis tool for the C and C++ programming languages. It is a versatile tool that can check non-standard code. The creator and lead developer is Daniel...

    Latest version of Cppcheck is 1.80 and it was released on 2017-07-29.

    Tags: Crossplatform Free Software, Free Software Programmed In C, Free Software Testing Tools, Software Using The Gpl License, Static Program Analysis Tools
  • Sparse by Josh Triplett, Christopher Li

    Sparse is a computer software tool designed to find possible coding faults in the Linux kernel. Unlike other such tools, this static analysis tool was initially designed to only flag constructs that...

    Latest version of Sparse is 0.5.0 and it was released on 2014-01-29.

    Tags: Static Program Analysis Tools, Free Software Testing Tools, Software Using The Mit License
  • Squale Software QUALity Enhancement

    Squale (Software Quality Enhancement) is an open-source platform that helps monitoring software quality for multi-language applications. It currently supports Java out-of-the-box, and can also...

    Latest version of Squale - Software QUALity Enhancement is 7.1 and it was released on 2011-05-26.

    Tags: Free Computer Programming Tools, Free Software Testing Tools
  • Software Testing Automation Framework by IBM

    The Software Testing Automation Framework (STAF) is an open source EPL (Eclipse Public License) project that enables users to create cross-platform, distributed software test environments. It's...

    Tags: Free Software Testing Tools, Ibm Software
  • SonarQube

    SonarQube (formerly Sonar) is an open source platform for continuous inspection of code quality to perform automatic reviews with static analysis of code to detect bugs, code smells and security...

    Latest version of SonarQube is 6.5 and it was released on 2017-08-03.

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • dcti by Tony Morris

    Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell...

    Tags: Software Testing Tools, Free Software Programmed In Java, Free Software Testing Tools
  • PerlTidy

    PerlTidy is a tool written in the Perl programming language to do static code analysis against code written in that same language. It uses either command-line switches or configuration files to...

    Latest version of PerlTidy is 20160302 and it was released on 2016-03-02.

    Tags: Articles Created Via The Article Wizard, Perl, Static Program Analysis Tools, Software Using The Gpl License, Free Software Testing Tools
  • PMD

    PMD is an open source static Java source code analyzer that reports on issue found within application code. PMD includes built-in rule sets and supports the ability to write custom rules. PMD does...

    Latest version of PMD is 5.8.1 and it was released on 2017-07-01.

    Tags: Java Development Tools, Static Program Analysis Tools, Free Software Testing Tools
  • OpenJava by Michiaki Tatsubori, Teruo Koyanagi, Shigeru Chiba

    OpenJava is a programming tool that parses and analyzes Java source code. It uses a metaobject protocol (MOP) to provide services for language extensions. Michiaki Tatsubori was the lead developer...

    Latest version of OpenJava is 1.1 20050405 and it was released on 2005-04-05.

    Tags: Free Software Testing Tools, Software Using The Bsd License
  • Laika by MITRE

    Laika is an open source Electronic Health Record (EHR) testing framework which analyzes and reports on the interchangeability of EHR systems. This includes the testing for certification of EHR...

    Tags: Free Healthcare Software, Free Software Testing Tools, Standards For Electronic Health Records, Mitre Corporation
  • MIN Test Framework

    MIN Test Framework is advanced open source framework for test case implementation and execution under...

    Tags: Free Software Testing Tools
  • FindBugs by Bill Pugh and David Hovemeyer

    FindBugs is an open source static code analyser created by Bill Pugh and David Hovemeyer which detects possible bugs in Java programs. Potential errors are classified in four ranks: (i) scariest,...

    Latest version of FindBugs is {{#property:P348}} and it was released on 2015-03-06.

    Tags: Static Program Analysis Tools, Java Development Tools, Free Software Testing Tools
  • ConQAT by , Competence Center Software Maintenance (Technical University of Munich)

    The Continuous Quality Assessment Toolkit (ConQAT) is a configurable software quality analysis engine. ConQAT is based on a pipes and filters architecture that enables flexible complex analysis...

    Tags: Static Program Analysis Tools, Free Software Testing Tools
  • Checkstyle

    Checkstyle is a static code analysis tool used in software development for checking if Java source code complies with coding...

    Latest version of Checkstyle is 7.5.1 and it was released on 2017-02-04.

    Tags: Static Program Analysis Tools, Java Libraries, Java Development Tools, Software Using The Lgpl License, Free Software Testing Tools
  • Mirth Connect

    Mirth Connect is a cross-platform HL7 interface engine that enables bi-directional sending of HL7 messages between systems and applications over multiple transports available under the Mozilla...

    Tags: Free Healthcare Software, Free Software Testing Tools, Healthstandards, Healthcare Software
  • Valgrind

    Valgrind is a programming tool for memory debugging, memory leak detection, and profiling. Valgrind was originally designed to be a free memory debugging tool for Linux on x86, but has since...

    Tags: Debuggers, Free Memory Debuggers, Free Memory Management Software, Free Software Testing Tools, Profilers, Software Testing Tools
  • Splint

    Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version...

    Latest version of Splint is 3.1.2 and it was released on 2007-07-12.

    Tags: Static Program Analysis Tools, Free Memory Management Software, Crossplatform Software, Free Software Testing Tools, Software Using The Gpl License
  • Jtest by Parasoft

    Jtest is an automated Java software testing and static analysis product that is made by Parasoft. The product includes technology for Data-flow analysis Unit test-case generation and execution,...

    Latest version of Jtest is 10.3 and it was released on 2016-11-30.

    Tags: Computer Security Software, Extreme Programming, Java Platform, Security Testing Tools, Software Review, Software Testing Tools, Static Program Analysis Tools, Unit Testing, Unit Testing Frameworks
  • SOAtest by Parasoft

    Parasoft SOAtest is a testing and analysis tool suite for testing and validating APIs and API-driven applications (e.g., cloud, mobile apps, SOA). Basic testing functionality include functional unit...

    Latest version of SOAtest is 9.10 and it was released on 2016-12-05.

    Tags: Computer Security Software, Load Testing Tools, Security Testing Tools, Software Testing Tools, Static Program Analysis Tools, Unit Testing Frameworks, Web Service Development Tools
  • Parasoft CCtest by Parasoft

    Parasoft C/C++test is an integrated set of tools for testing C and C++ source code that software developers use to analyze, test, find defects, and measure the quality and security of their...

    Latest version of Parasoft C/C++test is 10.3 and it was released on 2016-11-30.

    Tags: Abstract Interpretation, Computer Security Software, Security Testing Tools, Software Review, Software Testing Tools, Static Program Analysis Tools, Unit Testing, Unit Testing Frameworks
  • Automation Anywhere by Automation Anywhere

    Automation Anywhere is a developer of robotic process automation (RPA) software. The company's product, Automation Anywhere Enterprise, caters to enterprises looking to deploy a digital workforce...

    Tags: Computer Companies Of The United States, Software Testing Tools, Automation Software, Software Companies Based In California, Web Scraping
  • Capybara by Thomas Walpole

    Capybara is a web-based test automation software that simulates scenarios for user stories and automates web application testing for behavior-driven software development. It is a part of the...

    Tags: Software Testing Tools, Software Using The Mit License, Graphical User Interface Testing, Load Testing Tools, Unit Testing Frameworks, Web Development Software, Web Scraping
  • Concerto by Parasoft

    Parasoft Concerto is an Application Lifecycle Management (ALM) solution from Parasoft. Its five components are: Policy Center (sets expectations), Process Center (governs workflow), Project Center...

    Tags: Software Development Process, Software Testing Tools, Workflow Technology, Project Management Software
  • Insure by Parasoft

    Insure++ is a memory debugger computer program, used by software developers to detect various errors in programs written in C and C++. It is made by Parasoft, and is functionally similar to other...

    Latest version of Insure++ is 7.4.8 and it was released on 2015-03-23.

    Tags: Memory Management Software, Debuggers, Software Testing Tools
  • Nessus Vulnerability Scanner by Tenable Network Security

    Nessus is a proprietary vulnerability scanner developed by Tenable Network Security. It is free of charge for personal use in a non-enterprise environment. According to surveys done in 2009 by...

    Latest version of Nessus Vulnerability Scanner is 6.11.1 and it was released on 2017-08-14.

    Tags: Computer Security Software, Software Testing Tools, Free Security Software, Network Analyzers, Linux Security Software
  • ECUTEST by TraceTronic GmbH

    ECU-TEST is a software tool developed by TraceTronic GmbH, based in Dresden, Germany, for test and validation of embedded systems. Since the first release of ECU-TEST in 2003, the software is used...

    Latest version of ECU-TEST is 6.4 and it was released on {{Start date and age|2016|06}}.

    Tags: Automotive Electronics, Computeraided Engineering Software, Control Engineering, Data Analysis Software, Software Testing Tools
  • Team Foundation Server by Microsoft

    Team Foundation Server (commonly abbreviated to TFS) is a Microsoft product that provides source code management (either with Team Foundation Version Control or Git), reporting, requirements...

    Tags: Proprietary Version Control Systems, Microsoft Visual Studio, Agile Software Development, Project Management Software, Build Automation, Unit Testing Frameworks, Web Applications, Code Search Engines, Collaborative Software, Continuous Integration, Project Hosting Websites, Bug And Issue Tracking Software, Distributed Bug Tracking Systems, Software Using Distributed Version Control, Software Testing Tools, Load Testing Tools, Java Development Tools
  • HP Quality Center by Hewlett Packard Enterprise Software / Mercury Interactive

    HP Quality Center is a quality management software solution offered by the HP Software Division of Hewlett Packard Enterprise with many capabilities acquired from Mercury Interactive Corporation. HP...

    Latest version of HP Quality Center is 12.53 and it was released on 2016-05-22.

    Tags: Quality Assurance, Software Testing Tools, Bug And Issue Tracking Software, Hp Software