Generating Constrained Random Data with Uniform Distribution - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Testing an optimising compiler by generating random lambda termsMichal H. Palka, Koen Claessen, Russo, Alejandro, John Hughes. In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi]

Generating constrained random data with uniform distributionKoen Claessen, Jonas Duregård, Michal H. Palka. JFP, 25, 2015. [doi]

runs on WebDSL