Branching processes for QuickCheck generators

Agustín Mista
Agustín Mista

ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming St. Louis MO USA September, 2018, pp. 1-13, 2018.

Cited by: 7|Views8
EI

Abstract:

In QuickCheck (or, more generally, random testing), it is challenging to control random data generators' distributions---specially when it comes to user-defined algebraic data types (ADT). In this paper, we adapt results from an area of mathematics known as branching processes, and show how they help to analytically predict (at compile-ti...More

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments