2017年SATE：中国哈尔滨
软件测试和调试
张晓芳 , 周一达 , 灿珠 :
不良设计对缺陷倾向影响的实证研究。 1-9 傅文浩 , 余慧群 , 桂生扇 , 向吉 
, 辛培 :
一种改进故障定位有效性的测试套件简化方法。 10-19 安德烈·莫罗佐夫 , 凯丁 , 陈涛（Tao Chen） , 克劳斯·詹斯克 :
基于模型的汽车软件高效回归测试的测试套件优先级。 20-29 魏征 , 吴晓雪 , 杨西兵 , 曹世超 , 刘文新 , Jun Lin（林军） :
基于变异测试的多目标进化优化测试套件最小化。 30-36 婷舒 , 王磊（Lei Wang） , Jinsong夏 :
使用失败的执行切片进行故障定位。 37-44 小林居 , 向晨 , 姜淑娟 , 钱俊彦 :
带有启发式图的交互式调试框架。 45-52
可靠性、建模和分析
Tam Thi Thanh Nguyen先生 , 绪方和弘 :
理解Maude LTL模型检查器生成的反例的方法。 53-62 孟燕 , 辛霞 , 张晓红 , 凌旭 , 丹阳 :
软件产品质量评估模型的系统映射研究。 63-71 王磊（Lei Wang） , 王新晨 , 吴定泽 :
Linux内核模块中复杂网络特性和健壮性之间的相关性。 80-89
