SmallCheck
From MaRDI portal
Software:21715
No author found.
Related Items (18)
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers ⋮ Tests and proofs for custom data generators ⋮ Zeno: An Automated Prover for Properties of Recursive Data Structures ⋮ Automatic Proof and Disproof in Isabelle/HOL ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ αCheck: A mechanized metatheory model checker ⋮ Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism ⋮ Generating constrained random data with uniform distribution ⋮ Exhaustive generation of atomic combinatorial differential operators ⋮ The New Quickcheck for Isabelle ⋮ Polynomial-time inverse computation for accumulative functions with multiple data traversals ⋮ From LCF to Isabelle/HOL ⋮ A purely functional computer algebra system embedded in Haskell ⋮ Model Finding for Recursive Functions in SMT ⋮ Tests and Proofs for Enumerative Combinatorics ⋮ Model Based Testing with Logical Properties versus State Machines ⋮ Smart test data generators via logic programming ⋮ Improving Lazy Non-Deterministic Computations by Demand Analysis
This page was built for software: SmallCheck
