Top 56 property-based-testing open source projects

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

Ruby Imperative Random Data Generator and Quickcheck

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

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")

QuickCheck inspired property-based testing for OCaml.

Test monadic programs using state machine based models

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

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

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

Curried Type Testing library, and Test Matchers for Jest

Test your Haskell code by exhaustively checking its properties

Tools to generate test data from JSON schemata with Hypothesis

Functional programming in Java

Advanced unit test framework for D

QuickCheck for Swift

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

Data specification conformance and generation for Elixir

A simple state-machine framework for OCaml based on QCheck

A JS implementation of quick_check

Property-based testing, JUnit-style

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

A unit test-like interface for fuzzing and symbolic execution

Data generation and property-based testing for Elixir. 🔮

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

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

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

Data specification and generation

Property based testing for Java 8

GOlang Property TestER

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

Flexible law checking for Scala

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

Collection of utilities for trace-based testing

Transform runtypes type to jsverify arbitrary for generate sample of data

Creates fake JSON files from a JSON schema

Erlang Declarative Debugger

Extension to hypothesis for testing numpy general universal functions

An overview of property-based testing functionality

generalize counter-examples of property-based testing

Write contract once. Get data & function validators & conformers, an accurate & readable project contract, auto-generated API documentation, generative test coverage, plus more. A tool that enables a more predictable workflow for developing your JavaScript projects.

A property based testing framework for Kotlin

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

🍰 A property-based testing framework that tries to break your invariances.

Effect-Driven Compiler Tester for OCaml

Property based testing for AVA based on fast-check

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

Property-based testing library for Python

Randomized testing for Prolog à la QuickCheck

Test for spec compatibility and breaking changes.

A property-based testing library for Racket.