Alefeld G, Herzberger J. Introduction to interval computations[M]. New York: Academic Press, 1983.
[2]
Hansen E. Topics in interval analysis[M]. Oxford: Clarendon Press, 1969.
[3]
Harrison W H. Compiler analysis of the value ranges for variables[J]. IEEE Transaction on Software Engineering, 1977, SE-3(3): 243-250.
[4]
王志言, 刘椿年. 区间算术在软件测试中的应用[J]. 软件学报, 1998, 9(6): 438-443. Wang Zhiyan, Liu Chunnian. The application of interval computation in software testing[J]. Journal of Software, 1998, 9(6): 438-443.
[5]
李福川, 宋晓秋. 软件测试中的新方法——区间代数方法[J]. 计算机工程与设计, 2005, 26(10): 2576-2578. Li Fuchuan, Song Xiaoqiu. New method of software test—interval algebra method. Computer Engineering and Design, 2005, 26(10): 2576-2578.
[6]
Ghodrat M A, Givargis T, Nicolau A. Expression equivalence checking using interval analysis[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2006, 14(8): 830-842.
[7]
高传平, 谈利群, 宫云战, 等. 基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统, 2006, 27(12): 2222-2227. Gao Chuanping, Tan Liqun, Gong Yunzhan, et al. Research on static and auto-testing method for array bounds based on integer range aggregation[J]. Journal of Chinese Computer Systems, 2006, 27(12): 2222-2227.
[8]
杨朝红,宫云战,肖庆,等. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报,2008,31(5): 1-4. Yang Zhaohong, Gong Yunzhan, Xiao Qing, et al. A defect model based testing system[J]. Journal of Beijing University of Posts and Telecommunications, 2008, 31(5): 1-4.
[9]
Hovemeyer D, Pugh H. Finding more null pointer bugs, but not too many//Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. New York: ACM Press, 2007: 9-14.
