Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs | IEEE Conference Publication | IEEE Xplore