A postprocessing procedure of test enrichment for path delay faults | IEEE Conference Publication | IEEE Xplore