Awesome Open Source
Awesome Open Source
Combined Topics
property-based-testing
x
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
The Top 33 Property Based Testing Open Source Projects
Categories
>
Software Quality
>
Property Based Testing
Hypothesis
⭐
4,981
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Fast Check
⭐
2,006
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Functionaljava
⭐
1,419
Functional programming in Java
Swiftcheck
⭐
1,318
QuickCheck for Swift
Junit Quickcheck
⭐
811
Property-based testing, JUnit-style
Schemathesis
⭐
756
A modern API testing tool for web applications built with Open API and GraphQL specifications.
Deepstate
⭐
598
A unit test-like interface for fuzzing and symbolic execution
Stream_data
⭐
592
Data generation and property-based testing for Elixir. 🔮
Haskell Hedgehog
⭐
582
Release with confidence, state-of-the-art property testing for Haskell.
Expecto
⭐
490
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Norm
⭐
483
Data specification and generation
Quicktheories
⭐
482
Property based testing for Java 8
Gopter
⭐
456
GOlang Property TestER
Jqf
⭐
335
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Discipline
⭐
286
Flexible law checking for Scala
Propcheck
⭐
271
Property based Testing for Elixir (based upon PropEr)
Scalaprops
⭐
262
property based testing library for Scala
Fuzzcheck Rs
⭐
244
Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.
Rantly
⭐
241
Ruby Imperative Random Data Generator and Quickcheck
Fsharp Hedgehog
⭐
218
Release with confidence, state-of-the-art property testing for .NET.
Rapid
⭐
206
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")
Qcheck
⭐
193
QuickCheck inspired property-based testing for OCaml.
Quickcheck State Machine
⭐
192
Test monadic programs using state machine based models
Nyaya
⭐
165
Random Data Generation and/or Property Testing in Scala & Scala.JS.
Deal
⭐
143
Design by contract for Python with static checker and tests' generation.
Expect More
⭐
124
Curried Type Testing library, and Test Matchers for Jest
Smallcheck
⭐
114
Test your Haskell code by exhaustively checking its properties
Hypothesis Jsonschema
⭐
110
Tools to generate test data from JSON schemata with Hypothesis
Unit Threaded
⭐
100
Advanced unit test framework for D
Elixir Type_check
⭐
78
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Spec
⭐
72
Data specification conformance and generation for Elixir
Qcstm
⭐
50
A simple state-machine framework for OCaml based on QCheck
Quick_check.js
⭐
48
A JS implementation of quick_check
1-33 of 33 projects
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210