EasyCheck
From MaRDI portal
Software:21714
swMATH9735MaRDI QIDQ21714FDOQ21714
Author name not available (Why is that?)
Cited In (10)
- 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
- Title not available (Why is that?)
- 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
