ATPD: an automatic test pattern generator for path delay faults | IEEE Conference Publication | IEEE Xplore