QuickChick

swMATH13283MaRDI QIDQ25198FDOQ25198

Author name not available (Why is that?)

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

Described by source

• Foundational property-based testing

Cited In (5)

• 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
• From LCF to Isabelle/HOL
• Tests and Proofs for Enumerative Combinatorics

This page was built for software: QuickChick