EasyCheck
From MaRDI portal
Cited in
(26)- Programming with narrowing: a tutorial
- The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
- Model based testing with logical properties versus state machines
- Ivor
- Euclide
- QuickCheck
- KiCS2
- Curry
- FACTORIE
- Kernel-LEAF
- Alfalfa
- Camlflow
- iTasks
- SmallCheck
- TOY
- PAKCS
- CHR.js
- FlatCurry
- PFLP
- scientific article; zbMATH DE number 7455733 (Why is no real title available?)
- Purely functional lazy non-deterministic programming
- Beginner's luck: a language for property-based generators
- Generating constrained random data with uniform distribution
- Implementing a library for probabilistic programming using non-strict non-determinism
This page was built for software: EasyCheck
