[1] Moore R E. Interval analysis[M]. Prentice-Hall, New Jersey, USA, 1966.[2] Cousot P. Abstract interpretation based formal methods and future challenges[C]//Proceeding Informatics-10 Years Back, 10 Years Ahead, London, 2001: 138-156.[3] 王雅文, 宫云战, 肖庆, 等. 基于抽象解释的变量值范围分析及应用[J]. 电子学报, 2011, 39(2): 296-303.[4] 高洪博, 李清宝, 王炜, 等. 基于抽象解释的二进制代码变量区间分析[J]. 电子与信息学报, 2013, 35(8): 1927-1932.[5] 王志言, 刘椿年. 区间算术在软件测试中的应用[J]. 软件学报, 1998: 438-443.[6] Wang Yawen, Gong Yunzhan, Chen Junliang, et al. An application of interval analysis in software static analysis[C]. Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquito us Computing[C]//NW Washington: IEEE Computer Society, 2008(12): 367-372.[7] Xing Ying, Gong Yunzhan, Wang Yawen. Path-wise test data generation based on heuristic look-ahead methods[J]. Mathematical Problems in Engineering, 2014.[8] 邢颖, 宫云战, 王雅文, 等. 基于分支限界搜索框架的测试用例自动生成[J]. 中国科学: 信息科学, 2014, 44: 1345-1360. |