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: about 11 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
tvvocold/foss-for-devA hub of tools and services for developers to improve their workflow and productivity.1,108
fscheck/fscheckAutomatically tests .NET programs by generating random test cases based on predefined properties1,169
prof-frink-lab/slangchainExtends LangChain functionality with integrated tools for automated testing and file type identification202
fnogatz/tapProvides a framework to write and run tests with the Test Anything Protocol (TAP) in SWI-Prolog12
mietek/total-fpAn archival repository of papers on Total Functional Programming (TFP), including foundational literature and related research.187
suites-dev/suitesA comprehensive testing framework for building reliable unit tests in TypeScript applications376
jemc/qmlspecAn integrated QML testing framework with extensibility and customizability features.6
haf/expectoA testing library for .NET applications written in F#, focusing on performance and property-based testing.679
filiptronicek/filiptronicekThis is a personal profile of a software engineer's GitHub presence, showcasing their skills, projects, and interests.81
lispci/fiveamA testing framework for Common Lisp that provides a structured approach to writing and running tests.187
pimbrouwers/falcoA toolkit for building fast and functional-first web applications using F#531
purescript/purescript-quickcheckAn implementation of a property-based testing framework in PureScript104
codedownio/sandwichA test framework for Haskell that enables developers to write and run tests for their code.67
miripiruni/frontdeskA community-driven collection of resources and tools for front-end developers1,630
fslaborg/fslabA curated collection of high-quality F# packages for data science and interactive development.28