Luck

swMATH21716MaRDI QIDQ33518FDOQ33518

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: Luck