A generalized test generation procedure for path delay faults | IEEE Conference Publication | IEEE Xplore