Randomized testing framework
