Automatic Test Program Generation for Transition Delay Faults in Pipelined Processors | IEEE Conference Publication | IEEE Xplore