fqc

Test suite toolkit

A toolkit for running and analyzing test suites with symbolic state machines and quickcheck-style testing

FiFo Quickcheck helper

GitHub

1 stars
4 watching
2 forks
Language: Erlang
last commit: over 9 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
tvvocold/foss-for-dev A hub of tools and services for developers to improve their workflow and productivity. 1,098
fscheck/fscheck Automatically tests .NET programs by generating random test cases based on predefined properties 1,168
prof-frink-lab/slangchain Extends LangChain functionality with integrated tools for automated testing and file type identification 202
fnogatz/tap Provides a framework to write and run tests with the Test Anything Protocol (TAP) in SWI-Prolog 12
mietek/total-fp An archival repository of papers on Total Functional Programming (TFP), including foundational literature and related research. 187
suites-dev/suites A comprehensive testing framework for building reliable unit tests in TypeScript applications 367
jemc/qmlspec An integrated QML testing framework with extensibility and customizability features. 6
haf/expecto A testing library for .NET applications written in F#, focusing on performance and property-based testing. 673
filiptronicek/filiptronicek This is a personal profile of a software engineer's GitHub presence, showcasing their skills, projects, and interests. 81
lispci/fiveam A testing framework for Common Lisp 186
pimbrouwers/falco A toolkit for building fast and functional-first web applications using F# 530
purescript/purescript-quickcheck An implementation of a property-based testing framework in PureScript 104
codedownio/sandwich A test framework for Haskell that enables developers to write and run tests for their code. 68
miripiruni/frontdesk A community-driven collection of resources and tools for front-end developers 1,627
fslaborg/fslab A curated collection of high-quality F# packages for data science and interactive development. 28