Test pattern generation for delay faults door G. van Brakel