Luck

swMATH21716MaRDI QIDQ33518FDOQ33518

Author name not available (Why is that?)

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
• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
• SmallCheck
• Hazelnut
• LightDP

This page was built for software: Luck