CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations. - Shih-Kun Huang; Min-Hsiang Huang; Po-Yen Huang; Chung-Wei Lai; Han-Lin Lu; Wai-Meng Leong (SERE, 2012)

Software Crash Analysis for Automatic Exploit Generation on Binary Programs. - Shih-Kun Huang; Min-Hsiang Huang; Po-Yen Huang; Han-Lin Lu; Chung-Wei Lai (IEEE Trans. Reliab., 2014)