An Application of Interval Analysis in Software Static Analysis

Yawen Wang, Yunzhan Gong, Junliang Chen, Qing Xiao, Zhaohong Yang. An Application of Interval Analysis in Software Static Analysis. In Cheng-Zhong Xu, Minyi Guo, editors, 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops. pages 367-372, IEEE Computer Society, 2008. [doi]

Authors

Yawen Wang

This author has not been identified. Look up 'Yawen Wang' in Google

Yunzhan Gong

This author has not been identified. Look up 'Yunzhan Gong' in Google

Junliang Chen

This author has not been identified. Look up 'Junliang Chen' in Google

Qing Xiao

This author has not been identified. Look up 'Qing Xiao' in Google

Zhaohong Yang

This author has not been identified. Look up 'Zhaohong Yang' in Google