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
• Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
• Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
• From LCF to Isabelle/HOL
• Tests and Proofs for Enumerative Combinatorics

This page was built for software: QuickChick