NEW: Adaptive random testing program