A random testing framework