Efficient path delay test generation based on stuck-at test generation using checker circuitry | IEEE Conference Publication | IEEE Xplore