An efficient algorithm for finding the k longest testable paths through each gate in a combinational circuit | IEEE Conference Publication | IEEE Xplore