Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017). Cited in 2 Documents MSC: 68N18 Functional programming and lambda calculus Keywords:constraint solving; domain-specific language; narrowing; property-based testing; random testing Software:DART; Church; QuickCheck; Euclide; Isabelle/HOL; Luck; KLEE; PVS; z3; EasyCheck; Curry; TrueSkill; Isabelle; Nitpick; CUTE PDF BibTeX XML Cite \textit{L. Lampropoulos} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 114--129 (2017; Zbl 1380.68096) Full Text: DOI arXiv OpenURL