An Application of Interval Analysis in Software Static Analysis.

Yawen Wang, Yunzhan Gong, Junliang Chen, Qing Xiao, Zhaohong Yang

Browse the full EUC paper archive.