SOPRANO: an efficient automatic test pattern generator for stuck-open faults in CMOS combinational circuits | IEEE Conference Publication | IEEE Xplore