Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mista, Agustín"'
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 k
Externí odkaz:
http://arxiv.org/abs/1808.01520
Publikováno v:
In The Journal of Systems & Software December 2017 134:340-354
