Li-Han Chen, Fu-Hau Hsu, Yanling Hwang, Mu-Chun Su, Wei-Shinn Ku, Chi-Hsuan Chang. ARMORY: An automatic security testing tool for buffer overflow defect detection. Computers & Electrical Engineering, 39(7):2233-2242, 2013. [doi]
Abstract is missing.