Test generation for combinational hardware Trojans | IEEE Conference Publication | IEEE Xplore