Generating Constrained Random Data with Uniform Distribution

Koen Claessen, Jonas DuregÄrd, Michal H. Palka. Generating Constrained Random Data with Uniform Distribution. In Michael Codish, Eijiro Sumii, editors, Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Volume 8475 of Lecture Notes in Computer Science, pages 18-34, Springer, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.