QuickChick

MaRDI QIDQ25198swMATHFDO

Official website https://github.com/QuickChick/QuickChick

Source code repository https://github.com/QuickChick/QuickChick

Described by source

• Foundational property-based testing

Cited in

(12)

• Tests and proofs for custom data generators
• Testing-based formal verification for theorems and its application in software specification verification
• Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
• FocalTest
• QuickCheck
• SmallCheck
• Lincx
• Luck
• Celf
• Mathematical Components
• From LCF to Isabelle/HOL
• Tests and Proofs for Enumerative Combinatorics

This page was built for software: QuickChick