Branching processes for QuickCheck generators
ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming St. Louis MO USA September, 2018, 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)