Beginner's luck: a language for property-based generators
Paper i proceeding, 2017
constraint solving
property-based testing
narrowing
domain specific language
random testing
Författare
Leonidas Lampropoulos
University of Pennsylvania
Diane Gallois-Wong
Ecole Normale Superieure (ENS)
Institut National de Recherche en Informatique et en Automatique (INRIA)
Catalin Hritcu
Institut National de Recherche en Informatique et en Automatique (INRIA)
John Hughes
Programvaruteknik, Grupp A
Benjamin C. Pierce
University of Pennsylvania
Li-yao Xia
Institut National de Recherche en Informatique et en Automatique (INRIA)
Ecole Normale Superieure (ENS)
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
0362-1340 (ISSN)
Vol. 52 1 114-129978-1-4503-4660-3 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1145/3009837.3009868