ATPG for path delay faults without path enumeration | IEEE Conference Publication | IEEE Xplore