Compact Test Generation for Small-Delay Defects Using Testable-Path Information | IEEE Conference Publication | IEEE Xplore