ICAT: incremental combinational ATPG | IEEE Conference Publication | IEEE Xplore