SWiTEST: a switch level test generation system for CMOS combinational circuits | IEEE Journals & Magazine | IEEE Xplore