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.
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.
