property-based-testing | Topic | Ecosyste.ms: Repos

Topic: "property-based-testing"

rvprasad/software-testing-course 📦

Software Testing Techniques course offered at Kansas State University in Spring'16 and Spring'17

Language: Python - Size: 2.24 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 3

ChocPanda/scalacheck-magnolia 📦

Scalacheck Arbitrary type class derivation using magnolia

Language: Scala - Size: 202 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 6

nwjsmith/generators.graph

A library of test.check generators for graph data

Language: Clojure - Size: 95.7 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 0

sunesimonsen/chance-generators

Random generators based on changejs

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

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: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 0

Risto-Stevcev/bs-jsverify 📦

Jsverify bindings for bucklescript

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

fscheck/FsCheck.Properties

FsCheck Basic Property functions

Language: F# - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 2

fitzgen/mutatis

`mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.

Language: Rust - Size: 125 KB - Last synced at: about 5 hours ago - Pushed at: 4 months ago - Stars: 8 - Forks: 0

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

iacopy/cleanpython

A Python3 project template with several useful, standard, integrated batteries to help you write clean, tested, quality code, following the Zen of Python.

Language: Just - Size: 1.07 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 0

DPS0340/nestjs-fast-check-practice

fast-check over @testjs/testing

Language: TypeScript - Size: 4.79 MB - Last synced at: 4 days ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0

trollaklass/troll-of-fame-java

Java code for the Troll Aklass workshop on Property Based Tests

Language: Java - Size: 224 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2

Raphexion/erlmemfs

A simple in-memory filesystem inspirered and intended to be used with Bifrost.

Language: Erlang - Size: 114 KB - Last synced at: 1 day ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 0

potatosalad/elixirconf2018

Sustainable Testing

Language: Elixir - Size: 4.51 MB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0

mchakravarty/fp-in-swift

Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017

Language: Swift - Size: 37.8 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 0

aiken-lang/fuzz

A library for writing Fuzzers for property-based testing in Aiken

Language: Nix - Size: 163 KB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 6 - Forks: 5

steffnova/go-check

Property based testing framework for Go

Language: Go - Size: 310 KB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 2

sergio-sastre/Multiplying_the_quality_of_unit_tests

An Android project in Jetpack Compose to showcase how to level up our unit tests step by step with parameterized tests, property-based test & stateful tests

Language: Kotlin - Size: 296 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

PaulGrandperrin/fuzztest-rs

Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.

Language: Rust - Size: 16.6 KB - Last synced at: about 17 hours ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 1

jmid/luata-quickcheck

Lua type analysis and corresponding QuickCheck code

Language: HTML - Size: 1.93 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1

szktty/kiri-check

A testing library for property-based testing in Dart, enabling custom test data generation, testing stateful systems, and integrating seamlessly with package:test.

Language: Dart - Size: 239 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0

hiigami/yup-hypothesis

Create random data from a Yup schema

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

jmid/lcheck

A library for quickchecking lattice modules and associated operations

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

mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

Language: Coq - Size: 160 KB - Last synced at: 30 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

jvanbruegge/cyclejs-test-helpers

A small collection of useful utilities

Language: TypeScript - Size: 90.8 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 3

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

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: about 6 years ago - Stars: 5 - Forks: 0

afronski/xmerl_ext

Set of extensions for Erlang's xmerl library (CDATA, XML entities, DTD definitions).

Language: Erlang - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

MortalFlesh/bulletproof

[WIP] QuickCheck like PHP library for easier property based testing

Language: PHP - Size: 15.6 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

johtela/LinqCheck

Property based testing library with LINQ syntax

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

iacobson/blog_bikex

Code example for Saga pattern article

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

j5ik2o/prop-check-rs

A Rust crate for property-based testing.

Language: Rust - Size: 449 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 4 - Forks: 0

scalaprops/scalaprops-cross-example

Cross-platform(JVM, JS, Native) example project of scalaprops

Language: Scala - Size: 94.7 KB - Last synced at: 2 days ago - Pushed at: 9 days ago - Stars: 4 - Forks: 3

wcygan/practice

learning stuff

Size: 454 KB - Last synced at: 11 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 3

wcygan/lib-wc

A simple rust library

Language: Rust - Size: 309 KB - Last synced at: 11 days ago - Pushed at: about 2 years ago - Stars: 4 - 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

gabrielelana/pug-milano-20190213

Repository of the talk "Cool Things with PHP"

Language: PHP - Size: 48.8 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 0

inTestiGator/pytest-santa

Infers types and generates test data from the respective type with Monkeytype and Hypothesis.

Language: Python - Size: 139 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 1

anicolaspp/NetChecker

.NET Minimalist Property Based Testing Framework

Language: C# - Size: 32.2 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1

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: about 1 month ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

barrucadu/coco 📦

The Concurrency Commentator; giving you cheap remarks about concurrent programs.

Language: Haskell - Size: 333 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 4 - 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

ythirion/nir-kata

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

alter3go/trio-example

A trivial TCP echo server implemented in Python using Trio.

Language: Python - Size: 289 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - 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

kschuetz/gauntlet

Property-based testing for Java

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

MikeSpa/nft-marketplace-vyper

NFT Markertplace written in Vyper

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

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

littleli/paillier4j

Simple Paillier cryptosystem library

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

lastmjs/guesswork

Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.

Language: TypeScript - Size: 307 KB - Last synced at: 27 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

amamory/hermes-trojan

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

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

jeremyrsellars/gratitude-generative-testing

Language: Clojure - Size: 3.15 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

dubzzz/jsverify-commands

Bring commands to JSVerify property-based testing framework

Language: JavaScript - Size: 78.1 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

dubzzz/breaking-return-true-to-win

Breaking 'return true to win' using Property based testing fast-check

Language: JavaScript - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1

Centril/proptest-derive

Custom-derive for the Arbitrary trait of proptest.

Language: Rust - Size: 65.4 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

smidas/radagen

Random data generation library for the Ruby language.

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

gyzerok/quickcheck-ts

[UNFINISHED] Property-base testing for TypeScript

Language: TypeScript - Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0

soundvibe/pbt4j

pbt4j is property-based testing extensions for JUnit

Language: Java - Size: 36.1 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 1

ssube/mocha-foam

Mocha-style wrapper for fast-check property testing

Language: TypeScript - Size: 218 KB - Last synced at: about 23 hours ago - Pushed at: about 24 hours ago - Stars: 2 - Forks: 2

Zac-HD/hypothesis Fork of HypothesisWorks/hypothesis

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

Language: Python - Size: 38 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0

tonivade/purecheck

Property based testing in Java

Language: Java - Size: 921 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 2 - Forks: 0

TomerAberbach/typespec-fast-check

🐒 A TypeSpec emitter for fast-check arbitraries.

Language: JavaScript - Size: 892 KB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

mrigankpawagi/PBT4Automata

Property Based Testing for Finite Automata and Context-free Grammars

Language: Python - Size: 15.6 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

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: 30 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0