EasyCheck
From MaRDI portal
swMATH9735MaRDI QIDQ21714FDOQ21714
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-78969-7_23
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
- Title not available (Why is that?)
- Ivor
- Euclide
- QuickCheck
- KiCS2
- Curry
- FACTORIE
- Kernel-LEAF
- Alfalfa
- Camlflow
- iTasks
- SmallCheck
- TOY
- PAKCS
- Purely functional lazy non-deterministic programming
- CHR.js
- FlatCurry
- PFLP
- 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
