Luck

MaRDI QIDQ33518swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=3009837.3009868

Described by source

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

Cited in

(8)

• Tests and proofs for custom data generators
• Luck: A Probabilistic Language for Testing
• FocalTest
• Euclide
• SmallCheck
• Hazelnut
• LightDP
• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

This page was built for software: Luck