EasyCheck
From MaRDI portal
Software:21714
No author found.
Related Items (10)
Purely functional lazy non-deterministic programming ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism ⋮ Beginner's luck: a language for property-based generators ⋮ Generating constrained random data with uniform distribution ⋮ Unnamed Item ⋮ The New Quickcheck for Isabelle ⋮ Programming with narrowing: a tutorial ⋮ Model Based Testing with Logical Properties versus State Machines ⋮ The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
This page was built for software: EasyCheck
