ARMORY: An automatic security testing tool for buffer overflow defect detection. - Li-Han Chen; Fu-Hau Hsu; Yanling Hwang; Mu-Chun Su; Wei-Shinn Ku; Chi-Hsuan Chang (Comput. Electr. Eng., 2013)