On delay-untestable paths and stuck-fault redundancy | IEEE Conference Publication | IEEE Xplore