QuickChick

swMATH13283MaRDI QIDQ25198FDOQ25198

Author name not available (Why is that?)

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