Generating Compact Robust and Non-Robust Tests for Complete Coverage of Path Delay Faults Based on Stuck-at Tests | IEEE Conference Publication | IEEE Xplore