I'm particularly interested in the idea of distribution/statistical-test driven software testing. Instead of concrete assertions (truth assertions, equality assertions), we would make assertions about descriptive statistics or other tests. Or just assert that if we do something stochastic N times, we should expect some truth/equality test to pass at least M times.

I'm not sure what to do with that idea, but that's actually the core of why I posted this. Any other hackers out there excited by this idea?