Generating constrained random data with uniform distribution

DOI10.1017/S0956796815000143zbMath1420.68036MaRDI QIDQ5371949

Michał H. Pałka, Jonas Duregård, Koen Claessen

Publication date: 23 October 2017

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Do judge a test by its cover. Combining combinatorial and property-based testing

Uses Software

• Haskell
• Korat
• QuickCheck
• EasyCheck
• SmallCheck

Cites Work

• A calculus for the random generation of labelled combinatorial structures
• Purely functional lazy nondeterministic programming
• Boltzmann Sampling of Unlabelled Structures
• Counting and generating lambda terms

This page was built for publication: Generating constrained random data with uniform distribution