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. Comput. Electr. Eng. 39(7): 2233-2242 (2013)