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

DOI10.1145/3009837.3009868zbMath1380.68096arXiv1607.05443OpenAlexW2476059279MaRDI QIDQ5370850

No author found.

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.05443

zbMATH Keywords

random testingnarrowingconstraint solvingdomain-specific languageproperty-based testing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

Tests and proofs for custom data generators ⋮ Do judge a test by its cover. Combining combinatorial and property-based testing ⋮ Luck

Uses Software

• CUTE
• Isabelle
• Nitpick
• Isabelle/HOL
• PVS
• z3
• KLEE
• DART
• Euclide
• QuickCheck
• Church
• Curry
• EasyCheck
• TrueSkill

This page was built for publication: Beginner's luck: a language for property-based generators