基于整型区间集的数组越界静态自动测试方法研究

基于整型区间集的数组越界静态自动测试方法研究基于整型区间集的数组越界静态自动测试方法研究 第27卷第12期 2006年12月 小型微型计算机系统 M1N卜一M1CROSYSTEMS Vo1.27No.