An automatic test pattern generation framework for combinational threshold logic networks | IEEE Conference Publication | IEEE Xplore