[1] 陈翔, 顾庆, 刘望舒, 等.静态软件缺陷预测方法研究[J]. 软件学报, 2016, 27(1): 1-25. (CHEN X, GU Q, LIU W S, et al. Survey of static software defect prediction [J]. Journal of Software, 2016, 27(1): 1-25.) [2] 李舟军, 张俊贤, 廖湘科, 等.软件安全漏洞检测技术[J]. 计算机学报, 2015, 38(4): 717-732. (LI Z J, ZHANG J X, LIAO X K, et al. Survey of software vulnerability detection techniques[J]. Chinese Journal of Computers, 2015, 38(4): 717-732.) [3] 金大海, 宫云战, 杨朝红, 等.运行时异常对软件静态测试的影响研究[J]. 计算机学报, 2011, 34(6): 1090-1099. (JIN D H, GONG Y Z, YANG Z H, et al. Research on the effect of runtime exception in software static testing[J]. Chinese Journal of Computers, 2011, 34(6): 1090-1099.) [4] DAS M, LERNER S, SEIGLE M. ESP: path-sensitive program verification in polynomial time[J]. ACM SIGPLAN Notices, 2002, 37(5): 57-68. [5] 张大林, 金大海, 宫云战, 等.基于缺陷关联的静态分析优化[J]. 软件学报, 2014, 25(2): 386-399. (ZHANG D L, JIN D H, GONG Y Z, et al. Optimization static analysis based on defect correlations[J]. Journal of Software, 2014, 25(2): 386-399.) [6] ZHANG J, WANG X, HAO D, et al. A survey on bug-report analysis[J]. Science China Information Sciences, 2015, 58(2): 24-48. [7] 梁广泰, 孟娜, 李进辉, 等.一个可半自动化扩展的静态代码缺陷分析工具[J]. 计算机学报, 2011, 34(6): 1114-1125. (LIANG G T, MENG N, LI J H, et al. A semi-automatic extensible static defect analysis tool[J]. Chinese Journal of Computers, 2011, 34(6): 1114-1125.) [8] 杨睿, 金大海, 宫云战, 等.Java中空指针引用故障的静态检测方法[J]. 清华大学学报, 2011, 52 (增刊1): 1509-1514. (YANG R, JIN D H, GONG Y Z, et al. Static analysis method for detecting null pointer dereference in Java[J]. Journal of Tsinghua University, 2011, 52 (Supp1): 1509-1514.) [9] QUINLAN D J, VUDUC R W, MISHERGHI G. Techniques for specifying bug pattern[C]//PADTAD 2007: Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging. New York: ACM, 2007: 27-35. [10] KIM S, WHITEHEAD E J, Jr, ZHANG Y, et al. Classifying software changes: clean or buggy?[J]. IEEE Transactions on Software Engineering, 2008, 34(2): 181-196. [11] RUTER N, ALMAZAN C B, FOSTER J S. A comparison of bug finding tools for Java[C]//ISSRE 2004: Proceedings of the 15th International Symposium on Software Reliability Engineering. Piscataway, NJ: IEEE, 2004: 269-270. [12] 韩松来, 张辉, 周华平, 等.决策树算法中多值偏向问题的理论分析[C]//2005全国自动化新技术学术交流会论文集. 南京: 中国金属学会, 2005: 138-145. (HAN S L, ZHANG H, ZHOU H P, et al. Theoretical analysis for variety bias of decision tree algorithm[C]//Proceedings of the 2005 Chinese Symposium on New Technologies for Automation. Nanjing: Chinese Society of Metals, 2005: 138-145.) [13] 朱颢东.ID3算法的改进和简化[J]. 上海交通大学学报, 2010, 44(7): 883-891. (ZHU H D. Research on improvement and simplification of ID3 algorithm[J]. Journal of Shanghai Jiaotong University, 2010, 44(7): 883-891.) |