%0 Journal Article
%T 基于域敏感指向分析的区间运算在软件测试中的应用
%A 周虹伯  金大海  宫云战
%J -
%D 2012
%X 静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取..
%K [静态分析
%K 缺陷检测
%K 域敏感
%K 指向分析
%K 区间运算
%K static analysis
%K defect detecting
%K field-sensitive
%K point-to analysis
%K interval arithmetic]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I9/1852