64 Open source projects that are alternatives of or similar to Quickcheck State Machine

Ruby Imperative Random Data Generator and Quickcheck

An overview of property-based testing functionality

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

Property based testing for AVA based on fast-check

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

Randomized testing for Prolog à la QuickCheck

Data generation and property-based testing for Elixir. 🔮

Erlang Declarative Debugger

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

A simple state-machine framework for OCaml based on QCheck

Effect-Driven Compiler Tester for OCaml

A JS implementation of quick_check

Property-based testing library for Python

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

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

QuickCheck for Swift

Property-based testing, JUnit-style

Property based testing for Java 8

QuickCheck inspired property-based testing for OCaml.

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

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

Fable bindings for jest and friends for delightful Fable testing.

Property based testing tool for Swagger APIs

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

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

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

A unit test-like interface for fuzzing and symbolic execution

Let Fixture Monkey generate test instances including edge cases automatically

property based testing library for Scala

Random Testing for .NET

Advanced unit test framework for D

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

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

Curried Type Testing library, and Test Matchers for Jest

enumerative property-based testing for Haskell

Collection of utilities for trace-based testing

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

Transform runtypes type to jsverify arbitrary for generate sample of data

Creates fake JSON files from a JSON schema

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

Extension to hypothesis for testing numpy general universal functions

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

Test your Haskell code by exhaustively checking its properties

Data specification conformance and generation for Elixir

Modern and extensible testing framework for Haskell

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 smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

hypothesis strategies for generating SQLAlchemy objects

Quickcheck/hypothesis style testing for elisp

Data specification and generation

A property based testing framework for Kotlin

Tools to generate test data from JSON schemata with Hypothesis

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

GOlang Property TestER

Test for spec compatibility and breaking changes.

Flexible law checking for Scala

A property-based testing library for Racket.

Property based Testing for Elixir (based upon PropEr)

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