Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques | IEEE Conference Publication | IEEE Xplore