Beginner's luck: a language for property-based generators
Work
Year: 2016
Type: preprint
Abstract: Property-based random testing à la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficu... more
Authors Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu, John Hughes, Benjamin C. Pierce +1 more
Institutions California University of Pennsylvania, Institut national de recherche en informatique et en automatique, State Key Laboratory of Cryptology, Chalmers University of Technology
Cites: 68
Cited by: 34
Related to: 10
Citation percentile (by year/subfield): 96.95
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green