Characterization of Locked Combinational Circuits via ATPG | IEEE Conference Publication | IEEE Xplore