SmallCheck
From MaRDI portal
Software:21715
swMATH9736MaRDI QIDQ21715FDOQ21715
Author name not available (Why is that?)
Cited In (18)
- Exhaustive generation of atomic combinatorial differential operators
- Smart test data generators via logic programming
- Tests and proofs for custom data generators
- The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
- Model based testing with logical properties versus state machines
- Improving lazy non-deterministic computations by demand analysis
- αCheck: A mechanized metatheory model checker
- From LCF to Isabelle/HOL
- Generating constrained random data with uniform distribution
- Model finding for recursive functions in SMT
- Automatic proof and disproof in Isabelle/HOL
- Zeno: an automated prover for properties of recursive data structures
- A purely functional computer algebra system embedded in Haskell
- Tests and Proofs for Enumerative Combinatorics
- Implementing a library for probabilistic programming using non-strict non-determinism
- Polynomial-time inverse computation for accumulative functions with multiple data traversals
This page was built for software: SmallCheck
