67 Open source projects that are alternatives of or similar to pbt-frameworks

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

A simple state-machine framework for OCaml based on QCheck

Erlang Declarative Debugger

Property-based testing, JUnit-style

Randomized testing for Prolog à la QuickCheck

Ruby Imperative Random Data Generator and Quickcheck

QuickCheck inspired property-based testing for OCaml.

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

Property-based testing library for Python

generalize counter-examples of property-based testing

Data generation and property-based testing for Elixir. 🔮

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

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

Test monadic programs using state machine based models

A JS implementation of quick_check

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

Property based testing for AVA based on fast-check

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

QuickCheck for Swift

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

enumerative property-based testing for Haskell

Property based testing for Java 8

Property-Based Testing on the JUnit Platform

假的 (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.

hypothesis strategies for generating SQLAlchemy objects

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

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

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

Advanced unit test framework for D

A property based testing framework for Kotlin

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

Data specification conformance and generation for Elixir

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

Functional programming in Java

Quickcheck/hypothesis style testing for elisp

A unit test-like interface for fuzzing and symbolic execution

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

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

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

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

GOlang Property TestER

Data specification and generation

Random Testing for .NET

Test for spec compatibility and breaking changes.

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.

A property-based testing library for Racket.

Property based testing tool for Swagger APIs

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

To probe what we can't prove, so the unprovable may become probable

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 that tries to break your invariances.

Modern and extensible testing framework for Haskell