70 Open source projects that are alternatives of or similar to quickcheck

Release with confidence, state-of-the-art property testing for .NET.

Data generation and property-based testing for Elixir. 🔮

Property-based testing library for Python

Property-based testing, JUnit-style

Erlang Declarative Debugger

Release with confidence, state-of-the-art property testing for Haskell.

Derive property based testing fast-check into a fuzzer for REST APIs

QuickCheck inspired property-based testing for OCaml.

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Ruby Imperative Random Data Generator and Quickcheck

QuickCheck for Swift

A JS implementation of quick_check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

An overview of property-based testing functionality

Property based testing for Java 8

Property based testing for AVA based on fast-check

Test monadic programs using state machine based models

A library for generative, property-based testing in TypeScript and Jest.

A simple state-machine framework for OCaml based on QCheck

Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")

Effect-Driven Compiler Tester for OCaml

Random Testing for .NET

Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.

Random Data Generation and/or Property Testing in Scala & Scala.JS.

OWL verbalizer: making machine-readable knowledge also human-readable

Curried Type Testing library, and Test Matchers for Jest

Test your Haskell code by exhaustively checking its properties

Functional programming in Java

Advanced unit test framework for D

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Design by contract for Python with static checker and tests' generation.

A modern API testing tool for web applications built with Open API and GraphQL specifications.

Test for spec compatibility and breaking changes.

A unit test-like interface for fuzzing and symbolic execution

Property-Based Testing on the JUnit Platform

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

Tools to generate test data from JSON schemata with Hypothesis

Modern and extensible testing framework for Haskell

Data specification conformance and generation for Elixir

Data specification and generation

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Flexible law checking for Scala

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.

GOlang Property TestER

Quickcheck/hypothesis style testing for elisp

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

Property based Testing for Elixir (based upon PropEr)

property based testing library for Scala

Fable bindings for jest and friends for delightful Fable testing.

Property based testing tool for Swagger APIs

Python based tool for testing whether your API conforms to its Swagger schema

Let Fixture Monkey generate test instances including edge cases automatically

enumerative property-based testing for Haskell

hypothesis strategies for generating SQLAlchemy objects

Collection of utilities for trace-based testing

⚔️ Game of Thrones character database and family trees in Prolog

A property-based testing library for Racket.

Randomized specification-based testing for Common Lisp. Available through Quicklisp.

Transform runtypes type to jsverify arbitrary for generate sample of data