Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for property based testing
property-based-testing
x
118 search results found
Hypothesis
⭐
7,240
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Kotest
⭐
4,264
Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing
Fast Check
⭐
3,989
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Schemathesis
⭐
2,093
Automate your API Testing: catch crashes, validate specs, and save time
Scalacheck
⭐
1,932
Property-based testing for Scala
Functionaljava
⭐
1,549
Functional programming in Java
Swiftcheck
⭐
1,342
QuickCheck for Swift
Junit Quickcheck
⭐
947
Property-based testing, JUnit-style
Stream_data
⭐
817
Data generation and property-based testing for Elixir. 🔮
Deepstate
⭐
782
A unit test-like interface for fuzzing and symbolic execution
Deal
⭐
682
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Norm
⭐
663
Data specification and generation
Haskell Hedgehog
⭐
657
Release with confidence, state-of-the-art property testing for Haskell.
Expecto
⭐
632
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Jqf
⭐
626
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Gopter
⭐
576
GOlang Property TestER
Quicktheories
⭐
502
Property based testing for Java 8
Elixir Type_check
⭐
500
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Rapid
⭐
479
Rapid is a modern Go property-based testing library
Fuzzcheck Rs
⭐
412
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
Propcheck
⭐
347
Property based Testing for Elixir (based upon PropEr)
Qcheck
⭐
323
QuickCheck inspired property-based testing for OCaml.
Discipline
⭐
323
Flexible law checking for Scala
Scalaprops
⭐
276
property based testing library for Scala
Rantly
⭐
270
Ruby Imperative Random Data Generator and Quickcheck
Fsharp Hedgehog
⭐
257
Release with confidence, state-of-the-art property testing for .NET.
Hypothesis Jsonschema
⭐
224
Tools to generate test data from JSON schemata with Hypothesis
Kotlinfixture
⭐
203
Fixtures for Kotlin providing generated values for unit testing
Quickcheck State Machine
⭐
192
Test monadic programs using state machine based models
Nyaya
⭐
176
Random Data Generation and/or Property Testing in Scala & Scala.JS.
Expect More
⭐
165
Curried Type Testing library, and Test Matchers for Jest
Bolero
⭐
148
property testing and verification front-end for Rust
Jsf
⭐
141
Creates fake JSON files from a JSON schema
Smallcheck
⭐
134
Test your Haskell code by exhaustively checking its properties
Sismic
⭐
131
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Unit Threaded
⭐
120
Advanced unit test framework for D
Tstl
⭐
98
Template Scripting Testing Language tool: automated test generation for Python
Fp Ts Laws
⭐
79
fp-ts type class laws for property based testing
Fitspec
⭐
73
refine properties for testing Haskell programs
Spec
⭐
69
Data specification conformance and generation for Elixir
Propcheck.jl
⭐
69
A package for simple property based testing in julia.
Advent Of Craft
⭐
68
Advent of Craft
Decrel
⭐
67
Composable relations for Scala
Kitimat
⭐
63
A library for generative, property-based testing in TypeScript and Jest.
Ruby Prop_check
⭐
62
Property Testing library in Ruby
Propauth
⭐
58
A library for property-based policy evaluation
Qcstm
⭐
54
A simple state-machine framework for OCaml based on QCheck
Probably
⭐
54
To probe what we can't prove, so the unprovable may become probable; testing for Scala
Leancheck
⭐
50
enumerative property-based testing for Haskell
Swagger Conformance
⭐
49
Python based tool for testing whether your API conforms to its Swagger schema
Property Based Testing Stateful Systems Tutorial
⭐
48
A tutorial about how to apply property-based testing to stateful systems.
Quick_check.js
⭐
48
A JS implementation of quick_check
Ava Fast Check
⭐
45
Property based testing for AVA based on fast-check
Glados
⭐
42
🍰 A property-based testing framework that tries to break your invariances.
Multicoretests
⭐
36
PBT testsuite and libraries for testing multicore OCaml
Act
⭐
33
Executable state charts, property based testing and more.
Propcheck
⭐
30
Property based testing for kotlintest ported from quickcheck
Speculate
⭐
30
Speculate laws about Haskell functions
Nanofuzz
⭐
30
NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
Runtypes Generate
⭐
29
Transform runtypes type to jsverify arbitrary for generate sample of data
Snabbkaffe
⭐
29
Collection of utilities for trace-based testing
Pbt Frameworks
⭐
29
An overview of property-based testing functionality
Swagger Test
⭐
29
Property based testing tool for Swagger APIs
Rackcheck
⭐
28
A property-based testing library for Racket.
Easyspec
⭐
28
Signature inference for Functional Property Discovery in Haskell
Piggy
⭐
28
Test for spec compatibility and breaking changes.
Efftester
⭐
26
Effect-Driven Compiler Tester for OCaml
Clausejs
⭐
26
Write clauses 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.
Hypothesis Gufunc
⭐
25
Extension to hypothesis for testing numpy general universal functions
Fable.jester
⭐
25
Fable bindings for jest and friends for delightful Fable testing.
Lark Grammars
⭐
25
Grammars suitable for lark parser and Hypothesis
Hypothesis Csv
⭐
24
Extension for the hypothesis framework to support the generative testing with CSV input
Scalacheck Gen Regexp
⭐
22
A library for creating Scalacheck generators from regular expressions
Fast Check Examples
⭐
22
Property based testing (QuickCheck) examples based on fast-check
Scala Category Theory
⭐
22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Kwik
⭐
22
Property-based testing library for Kotlin
Fuzz Rest Api
⭐
22
Derive property based testing fact-check into a fuzzer for REST APIs
Kuickcheck
⭐
21
A property based testing framework for Kotlin
Carparking
⭐
20
Monkey
⭐
20
@FuzzyMonkeyCo's minion
Quickcheck
⭐
19
Randomized testing for Prolog à la QuickCheck
Edd
⭐
19
Erlang Declarative Debugger
Xtrem Tdd Money Kata
⭐
18
Repository for the workshop on the "Money Problem"
Reltester
⭐
18
Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
Quickcheck
⭐
17
Property Based Testing in R
Growinggildedrose
⭐
16
This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.
Json Values
⭐
16
Persistent Json in Java
Emurox
⭐
16
Emulator of MOS6502 (and eventually NES) with particular focus on understandable design and testing.
Americium
⭐
15
Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test case and a way of reproducing the failure immediately.
Wasm Prop Tester
⭐
15
A stack-driven generator of arbitrary WebAssembly programs
Quick.py
⭐
15
Property-based testing library for Python
Hypothesis Bio
⭐
14
Hypothesis extension for computational biology
Extrapolate
⭐
13
generalize counter-examples of property-based testing
Fsharp Hedgehog Experimental
⭐
13
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
Quickcheck
⭐
12
🩺 Effortless property-based, type-based testing for Nim.
Dicetest
⭐
12
Framework for writing tests with randomly generated test data
Restcheck
⭐
12
🔍 An automatic REST API fuzzing tool based on property-based testing techniques.
Troll Of Fame Reason
⭐
11
PBT workshop in ReasonML
Elm Minithesis
⭐
11
An Elm port of Minithesis
Fscheck.properties
⭐
9
FsCheck Basic Property functions
1-100 of 118 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.