Yawen Wang Yunzhan Gong Junliang Chen Qing Xiao Zhaohong Yang An Application of Interval Analysis in Software Static Analysis. 367-372 2008 EUC (2) http://dx.doi.org/10.1109/EUC.2008.60 conf/euc/2008-2 db/conf/euc/euc2008-2.html#WangGCXY08