Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs.

Bin Lin, Jinchao Chen, Fei Xie

Browse the full DATE paper archive.