Search: WFRF:(Gallois Wong Diane) >
Beginner's luck: a ...
-
Lampropoulos, LeonidasUniversity of Pennsylvania
(author)
Beginner's luck: a language for property-based generators
- Article/chapterEnglish2017
Publisher, publication year, extent ...
-
2017-01
-
New York, NY, USA :ACM,2017
Numbers
-
LIBRIS-ID:oai:research.chalmers.se:13dafc05-41ab-479c-b55c-e50efe1a3dec
-
https://research.chalmers.se/publication/247987URI
-
https://doi.org/10.1145/3009837.3009868DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:kon swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
Property-based random testing a la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a domain-specific language in which generators are conveniently expressed by decorating predicates with lightweight annotations to control both the distribution of generated values and the amount of constraint solving that happens before each variable is instantiated. This language, called Luck, makes generators easier to write, read, and maintain. We give Luck a formal semantics and prove several fundamental properties, including the soundness and completeness of random generation with respect to a standard predicate semantics. We evaluate Luck on common examples from the property-based testing literature and on two significant case studies, showing that it can be used in complex domains with comparable bug-finding effectiveness and a significant reduction in testing code size compared to handwritten generators.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Gallois-Wong, DianeEcole Normale Superieure (ENS),Institut National de Recherche en Informatique et en Automatique (INRIA)
(author)
-
Hritcu, CatalinInstitut National de Recherche en Informatique et en Automatique (INRIA)
(author)
-
Hughes, John,1958Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)rjmh
(author)
-
Pierce, Benjamin C.University of Pennsylvania
(author)
-
Xia, Li-yaoInstitut National de Recherche en Informatique et en Automatique (INRIA),Ecole Normale Superieure (ENS)
(author)
-
University of PennsylvaniaEcole Normale Superieure (ENS)
(creator_code:org_t)
Related titles
-
In:SIGPLAN Notices (ACM Special Interest Group on Programming Languages)New York, NY, USA : ACM52:1, s. 114-1290730-8566
Internet link
Find in a library
To the university's database