JuliaLang/julia — pull request #1347 by pao (2012-10-07 20:11:37+00:00)
Title: RFC: QuickCheck randomized tester

Includes basic properties, conditional properties, quantified properties, and
testcase generators for primitive types and arrays/composites of those types.

Also includes a simple demonstration of usage with testcases for iostring.jl.

I've DRYed it out a bit from the original posting on -dev, but I'm still
not sure how best to present the API. I've put it here to gather concrete
feedback (and to establish whether this is something we want).