"Beginner's luck: a language for property-based generators."

Leonidas Lampropoulos et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics