Branching Processes for QuickCheck Generators

Agustín Mista
Agustín Mista

Haskell@ICFP, pp. 1-13, 2018.

Cited by: 7|Views9
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:

Your rating :
0

 

Tags
Comments