Luck

swMATH21716MaRDI QIDQ33518

No author found.

Described by source

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

Related Items (3)

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

This page was built for software: Luck