CRAXfuzz: Target-Aware Symbolic Fuzz Testing. - Chao-Chun Yeh; Hsiang Chung; Shih-Kun Huang (COMPSAC, 2015)