Property Based Testing
Showing 24 of 24 projects
A Python library for property-based testing that generates random inputs to find edge cases and bugs.
Automatically generate thousands of test cases from OpenAPI or GraphQL schemas to find edge-case API bugs.
A property-based testing library for Swift that automatically generates random test data and shrinks failing cases.
A property-based testing library for .NET that automatically generates random test cases to verify program specifications.
A free, open-source testing toolkit for Scala and Java programmers with expressive and flexible testing styles.
A Clojure property-based testing library inspired by QuickCheck for writing concise, powerful tests.
An Elixir library for data generation and property-based testing with an idiomatic Elixir API.
A QuickCheck-inspired property-based testing tool for Erlang, focusing on pure functions and stateful code.
An advanced, smooth testing library for F# with parallel execution, property-based testing, and performance benchmarking.
A cross-platform library for Typed Functional Programming in Swift.
A property-based testing library for Elixir, built as a wrapper around the PropEr framework.
A Rust-based manually-guided fuzzing framework for Solana programs, processing up to 12,000 transactions per second.
A property-based testing library for Elixir, implementing QuickCheck-style testing with ExUnit integration.
A randomized property-based testing plugin for Coq, enabling automated test generation and verification within proof assistants.
State-of-the-art property testing library for .NET with integrated shrinking and deterministic runs.
A property-based testing library for Scala with advanced generators, flexible configuration, and full Scala.js/scala-native support.
A modern testing and behavioral specification framework for Java 8 with fluent APIs, data-driven tests, and property-based generation.
A testing framework for writing unit and fuzz tests in Elm, enabling property-based testing with random inputs.
A C# random testing library with parallelized generation and shrinking based on the PCG random number generator.
A lightweight testing framework for Scala and Scala.js with cross-compilation support.
A Coq framework for formal verification, property-based testing, and extraction of smart contracts.
Advanced multi-threaded unit test framework for D with custom assertions, property-based testing, and mocking.
A property-based testing library for PureScript, implementing the QuickCheck approach.
A randomized property-based testing library for Common Lisp, designed to embed QuickCheck-style tests into existing test frameworks.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.