stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 421 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 70 - Forks: 4

kevin-lee/scala-hedgehog Fork of hedgehogqa/scala-hedgehog

Hedgehog will eat all your bugs.

Language: Scala - Size: 2.01 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

klarna/snabbkaffe 📦

Collection of utilities for trace-based testing

Language: Erlang - Size: 97.7 KB - Last synced at: 29 days ago - Pushed at: about 3 years ago - Stars: 45 - Forks: 4

agroce/tstl

Template Scripting Testing Language tool: automated test generation for Python

Language: Python - Size: 13.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 103 - Forks: 25

chobeat/hypothesis-csv

Extension for the hypothesis framework to support the generative testing with CSV input

Language: Python - Size: 75.2 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 0

imrafaelmerino/java-fun

java-fun simplifies Property-Based Testing in Java by providing powerful and composable Pseudo Random Generators. These generators enable the creation of diverse test cases effortlessly, making testing more effective and intuitive for developers.

Language: Java - Size: 162 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

imrafaelmerino/jio

Jio is a powerful Java library designed to simplify and enhance input/output operations by leveraging the power of expressions and functions

Language: Java - Size: 5.65 MB - Last synced at: 17 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

kaichevannes/interview-150

Solutions for the leetcode top 150 interview problems.

Language: C++ - Size: 49.8 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

ej-shafran/count-up

A browser-based game, which is a variation of Chopsticks.

Language: TypeScript - Size: 1.04 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

FuzzyMonkeyCo/monkey

@FuzzyMonkeyCo's minion

Language: Go - Size: 1.29 MB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 20 - Forks: 1

jmid/lcheck

A library for quickchecking lattice modules and associated operations

Language: OCaml - Size: 164 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 3

jmid/wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

Language: OCaml - Size: 322 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 2

advent-of-craft/2024-summer-craft-book

Summer Craft Book 2024 🏖️

Language: Java - Size: 89 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 30 - Forks: 9

alexjuda/snekspec

Validate data & generate test examples from schema

Language: Python - Size: 48.8 KB - Last synced at: 10 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

jakoschiko/dicetest

Framework for writing tests with randomly generated test data

Language: Rust - Size: 549 KB - Last synced at: 16 days ago - Pushed at: 9 months ago - Stars: 14 - Forks: 0

Centril/proptest-quickcheck-interop

Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest

Language: Rust - Size: 16.6 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

olipratt/swagger-conformance

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

Language: Python - Size: 186 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 53 - Forks: 11

sunesimonsen/chance-generators

Random generators based on changejs

Language: JavaScript - Size: 401 KB - Last synced at: 12 days ago - Pushed at: 10 months ago - Stars: 9 - Forks: 1

gcanti/fp-ts-laws

fp-ts type class laws for property based testing

Language: TypeScript - Size: 148 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 81 - Forks: 7

DPS0340/nestjs-fast-check-practice

fast-check over @testjs/testing

Language: TypeScript - Size: 4.79 MB - Last synced at: about 17 hours ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 0

sgepigon/piggy

Test for spec compatibility and breaking changes.

Language: Clojure - Size: 69.3 KB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 47 - Forks: 1

snowplow-archive/scalacheck-schema 📦

ScalaCheck generators for various Iglu-compatible schema formats

Language: Scala - Size: 85.9 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

neysofu/reltester

Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator

Language: Rust - Size: 23.4 KB - Last synced at: 15 days ago - Pushed at: almost 2 years ago - Stars: 20 - Forks: 2

advent-of-craft/2023

Advent of Craft

Language: Java - Size: 88.9 MB - Last synced at: 10 months ago - Pushed at: 12 months ago - Stars: 79 - Forks: 65

CodingCellist/tyde-24-code 📦

Full Idris2 code used in the TyDe '24 paper "Type-level Property Based Testing"

Language: Idris - Size: 22.5 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

vic/spec

Data specification conformance and generation for Elixir

Language: Elixir - Size: 78.1 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 78 - Forks: 3

Janiczek/elm-minithesis

An Elm port of Minithesis

Language: Elm - Size: 700 KB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 16 - Forks: 1

NicolasT/hedgehog-stateful-demo

A demonstration of stateful systems testing using Hedgehog

Language: Haskell - Size: 35.2 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

d-led/java-testing-the-tests

Programming is not easy. Coverage numbers don't tell you the whole story. The build is broken intentionally in this repo. See the README for motivation & a walk-through

Language: Java - Size: 235 KB - Last synced at: about 8 hours ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

garbles/kitimat

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

Language: TypeScript - Size: 764 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 68 - Forks: 1

ashkrit/propertytesting

Samples of Property based testing based on scala check

Language: Scala - Size: 36.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

schneiderfelipe/quickcheck 📦

🩺 Effortless property-based, type-based testing for Nim.

Language: Nim - Size: 39.1 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 12 - Forks: 1

damianoazzolini/probat

Property based testing Prolog programs.

Language: Prolog - Size: 46.9 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

int-i/cpp-sort 📦

C++20 Iterator Sorting Algorithm Implementation using Concepts TS (/w RapidCheck)

Language: C++ - Size: 67.4 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

jmid/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

Language: OCaml - Size: 113 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 2

ythirion/refactoring-du-bouchonnois

Kata de refactoring pour apprendre des techniques telles que Property-Based Testing, Approval Testing, Strangler, Functional Programming, ....

Language: HTML - Size: 24.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 4

goblindegook/talk-more-tests-less-work 📦

More Tests, Less Work

Language: JavaScript - Size: 78.1 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1

goblindegook/talk-more-tests-less-work-code 📦

Code examples for the More Tests, Less Work talk.

Language: TypeScript - Size: 134 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

freddiefujiwara/fast-check-password-validator-example

Language: JavaScript - Size: 809 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

uber/hypothesis-gufunc

Extension to hypothesis for testing numpy general universal functions

Language: Python - Size: 55.7 KB - Last synced at: 11 days ago - Pushed at: about 4 years ago - Stars: 39 - Forks: 6

iacobson/blog_bikex

Code example for Saga pattern article

Language: Elixir - Size: 9.77 KB - Last synced at: 3 days ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0

artificialrevelations/property-based-testing-workshop

Property Based Testing workshop materials

Language: Java - Size: 59.6 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

les-tontons-crafters/xtrem-tdd-money-kata

Repository for the workshop on the "Money Problem"

Language: C# - Size: 30 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 10

JBris/hypothesis-property-based-testing

Trying out the hypothesis library for property-based testing

Language: Python - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

ArtemBaskal/model-based-testing-calculator

Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState

Language: TypeScript - Size: 1.82 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

gampleman/quick_check.js

A JS implementation of quick_check

Language: CoffeeScript - Size: 541 KB - Last synced at: about 9 hours ago - Pushed at: about 5 years ago - Stars: 46 - Forks: 2

sylvaindecout/jqwik-handson

Hands-on for Property-Based Testing with Jqwik

Language: Java - Size: 1.08 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 3

ponylang/ponycheck 📦

Property Based Testing for Ponylang 🐴 ✔️

Language: Pony - Size: 6.06 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 59 - Forks: 5

amamory/hermes-trojan

Example of hardware trojan in a router detected with formal property verification

Language: VHDL - Size: 622 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

littleli/paillier4j

Simple Paillier cryptosystem library

Language: Java - Size: 26.4 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

platonic-io/property-based-testing-stateful-systems

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 636 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

trollaklass/troll-of-fame-js

PBT workshop in js

Language: JavaScript - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

themaxhero/Package-Wizard 📦

Like Ad-hoc polimorfism but for Logistic Companies

Language: Elixir - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

kdblocher/bridge

Contract bridge system analysis tool for making the most out of your system book.

Language: TypeScript - Size: 53.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 2

diogolhc/feup-mieic-lpoo-proj

:farmer: Text-based farming game with extensive use of design patterns and unit, mutation, and property-based testing

Language: HTML - Size: 6.49 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

ssube/mocha-foam

Mocha-style wrapper for fast-check property testing

Language: TypeScript - Size: 257 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 2

nomasystems/restcheck

:mag: An automatic REST API fuzzing tool based on property-based testing techniques.

Language: Erlang - Size: 574 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 2

celioggr/erc20-oz-unit-testing

Test ERC-20 tokens using Openzeppelin unit test suite.

Language: HTML - Size: 247 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

celioggr/erc20-pbt

A testing framework based in property-based testing for ERC-20 tokens.

Language: Solidity - Size: 1.61 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1

danielegiulianini/qu-bft

A reusable, generic, async, gRPC-interoperable BFT protocol library for scala developers

Language: Scala - Size: 1.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

karthik-d/type-inference-tools-playground

Resource compilation, experiments, and tests on Symbolic Execution, Type Inference and Property-Guided Testing of python programs

Language: Python - Size: 3.79 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

h3nnn4n/property-based-tests-on-vectors

Experimenting property based tests on a simple implementation of vectors

Language: Python - Size: 47.9 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

jmid/efftester

Effect-Driven Compiler Tester for OCaml

Language: OCaml - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 5

ericsalesdeandrade/pytest-hypothesis-example

How to Use Hypothesis and Pytest for Robust Property-Based Testing in Python

Language: Python - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1

bertilmuth/act

Executable state charts, property based testing and more.

Language: Java - Size: 1.83 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 33 - Forks: 6

YusukeHosonuma/SwiftCheckMathMagic 📦

TDD ✕ Property-based Testing (SwiftCheck) で数学パズルを検証してみる

Language: Swift - Size: 80.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

shfrmn/tap-fast-check

Property testing for Tap using fast-check

Language: TypeScript - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

comradevanti-katas/RomanNumeralsPBT

"Decimal to roman numerals" kata done with property-based testing. Tests and implementation in F#.

Language: F# - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

ruanmartinelli/property-based-testing-patterns

property-based testing patterns examples

Language: JavaScript - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

ChasingTheDream369/Evaluate-The-Kell

⚡Explore Kell: A Haskell-inspired language with exciting enhancements! Witness the magic of our ultra-efficient evaluator, driven by Haskell's formidable type inference. 🧪 Rigorously tested through property-based trials, Kell excels at effortlessly evaluating expressions within its dynamic syntax. Unleash the power of Kell using this. 🚀

Language: Haskell - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

kschuetz/gauntlet

Property-based testing for Java

Language: Java - Size: 1.61 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

1Jajen1/propCheck

Property based testing for kotlintest ported from quickcheck

Language: Kotlin - Size: 627 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 1

akiomik/scalatest-csv-table

A scalatest helper for table driven testing with csv.

Language: Scala - Size: 156 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 2

IQTLabs/hypothesis-bio 📦

Hypothesis extension for computational biology

Language: Python - Size: 671 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 2

rojoangel/diamond-kata-clojure

Diamond Kata using property based testing in clojure

Language: Clojure - Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

tamarit/edd

Erlang Declarative Debugger

Language: Erlang - Size: 5.3 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 20 - Forks: 4

elleuca/codemotion-magazine-property-testing-demo

Property based testing demo with QuickCheck

Language: Java - Size: 78.1 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

aniketmaithani/propertybasedtesting

This repository contains code and presentation for PyDelhi Conf 2017

Language: Python - Size: 1.1 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

steffnova/go-check

Property based testing framework for Go

Language: Go - Size: 310 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 2

dariusf/befuzzle

Grammar-based fuzzing of REST APIs via an OpenAPI spec

Language: Kotlin - Size: 41 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

PotatoBrainStudios/LabAssistant

A website for keeping extended notes, flash-cards based on frame data.

Language: Scala - Size: 150 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

Risto-Stevcev/bs-jsverify 📦

Jsverify bindings for bucklescript

Language: OCaml - Size: 31.3 KB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 9 - Forks: 3

SergeyBel/phpinvariant

PHP property-based testing framework

Language: PHP - Size: 199 KB - Last synced at: 7 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Mharlin/better-testing-workshop

Property based testing workshop in ScalaCheck

Language: Scala - Size: 4.53 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

darranhayes/property-based-testing

Property based testing examples

Language: C# - Size: 13.7 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

mike-neck/kuickcheck

A property based testing framework for Kotlin

Language: Kotlin - Size: 223 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 23 - Forks: 2

smidas/radagen

Random data generation library for the Ruby language.

Language: Ruby - Size: 40 KB - Last synced at: 21 days ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

hiigami/yup-hypothesis

Create random data from a Yup schema

Language: TypeScript - Size: 1000 KB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0

johtela/LinqCheck

Property based testing library with LINQ syntax

Language: C# - Size: 1.54 MB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

rkoeninger/KitchenSink

Multi-paradigm programming in C#

Language: C# - Size: 943 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 0

ythirion/nir-kata

Language: Java - Size: 2.68 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 4

devstopfix/excheck Fork of parroty/excheck 📦

Property-based testing library for Elixir (QuickCheck style).

Language: Elixir - Size: 137 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

mathieueveillard/js-kata-starter-pbt 📦

Starter project for kata with Property-Based Testing (Node, TypeScript, Jest, JSVerify)

Language: TypeScript - Size: 1.03 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1

Tovy97/Towards-Substructural-Property-Based-Testing

Code correlated to paper "Towards Substructural Property-Based Testing"

Language: Prolog - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

kputnam/forall

Ruby generative property test library (ala QuickCheck)

Language: Ruby - Size: 94.7 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

Oderjunkie/foobarbaz

foobarbaz - a single-header property-based testing library in C99

Language: C - Size: 78.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

typeetfunc/runtypes-generate

Transform runtypes type to jsverify arbitrary for generate sample of data

Language: TypeScript - Size: 16.6 KB - Last synced at: 24 days ago - Pushed at: almost 8 years ago - Stars: 41 - Forks: 1

akxcv/any-thing 📦

A set of generators for JavaScript

Language: JavaScript - Size: 234 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

ythirion/snafu-kata

Solves AOC 2022 with Types-Driven Development and Property-Based Testing

Language: C# - Size: 719 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

jeffh/check.statem

Facilities for generating test programs using state machines.

Language: Clojure - Size: 184 KB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0