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