Beginner's luck: a language for property-based generators (Q5370850)
From MaRDI portal
scientific article; zbMATH DE number 6794647
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Beginner's luck: a language for property-based generators |
scientific article; zbMATH DE number 6794647 |
Statements
Beginner's luck: a language for property-based generators (English)
0 references
20 October 2017
0 references
constraint solving
0 references
domain-specific language
0 references
narrowing
0 references
property-based testing
0 references
random testing
0 references
