SWiTEST: a switch level test generation system for CMOS combinational circuits | IEEE Conference Publication | IEEE Xplore