184 Open source projects that are alternatives of or similar to Quicktheories

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Property-based testing, JUnit-style

A simple state-machine framework for OCaml based on QCheck

A JS implementation of quick_check

An overview of property-based testing functionality

Ruby Imperative Random Data Generator and Quickcheck

Randomized testing for Prolog à la QuickCheck

Release with confidence, state-of-the-art property testing for Haskell.

Release with confidence, state-of-the-art property testing for .NET.

Data generation and property-based testing for Elixir. 🔮

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Property-Based Testing on the JUnit Platform

Test monadic programs using state machine based models

QuickCheck for Swift

Effect-Driven Compiler Tester for OCaml

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")

Erlang Declarative Debugger

Property-based testing library for Python

Derive property based testing fast-check into a fuzzer for REST APIs

QuickCheck inspired property-based testing for OCaml.

Property based testing for AVA based on fast-check

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

Collection of utilities for trace-based testing

Fable bindings for jest and friends for delightful Fable testing.

Raccoon is a lightweight response mocking framework that can be easily integrated into the Android UI tests.

Transforms XML from trx-Testresults to JUnit-Testresults / trx to JUnit XML and the other way round

enumerative property-based testing for Haskell

RSpec results that your CI can read

dummyjdbc answers database requests with dummy data to be independent of an existing database.

A Jest reporter that creates compatible junit xml files

Transform runtypes type to jsverify arbitrary for generate sample of data

Property based testing tool for Swagger APIs

Creates fake JSON files from a JSON schema

👽 Android app consuming Star Wars API.Built with clean architecture ,MVVM pattern, Koin , Coroutines + Flows ,Architecture Components, Data Binding , Firebase , Unit/UI Tests ,Motion Layout

假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.

API performance testing framework built using JUnit

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

📈 Summarise your test failures as a build annotation

Paco is a Java based framework for non-blocking and highly parallelized Dom testing.

Flexible law checking for Scala

A collection of JUnit 4 Rules for Android Developers 🔬

Mutation testing framework and code coverage for Hive SQL

Android unit testing example 全面的android应用单元测试方法及案例

Flyway JUnit 5 Extension to clean / migrate your database in tests.

Metadatamanagement (MDM) - Data Search for Higher Education Research and Science Studies

A personal app to store people that owe you money or you owe money to. "Mo Money Mo Problems" 🎵 - The Notorious B.I.G. 😎

Android开发中必要的一环---单元测试（Unit Test）

Gif RecyclerView in MVP using Dagger 2 + Retrofit 2 + Moshi + RxJava 2 + Glide 4 with JUnit and Espresso tests written in Kotlin + Kotlin DSL!

Property based Testing for Elixir (based upon PropEr)

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Extension to hypothesis for testing numpy general universal functions

MET CS665 - OOP Design Patterns Code Examples

Gradle plugin to report various kinds of summaries to console.

Android project to experiment various testing tools

XLT is an comprehensive load and performance test tool developed and maintained by Xceptance.

Sample android application used to learn the Model View View Model pattern and DataBinding in Android

JUnit tests with Selenium WebDriver and WebDriverManager

JUnit 5 based BDD library to create and run stories and behaviors a.k.a BDD specification tests

TAP to xUnit XML converter

Maven plugin to handle multi module projects for PiTest