Branching Processes for QuickCheck Generators
Haskell@ICFP, pp. 1-13, 2018.
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
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)