Generating Constrained Random Data with Uniform Distribution.

Koen Claessen, Jonas Duregrd, Michal H. Palka

Browse the full FLOPS paper archive.