WEIR DUNCAN

Speculative execution of test patterns in a random test generator