论文部分内容阅读
Lazy Slicing for State-Space Exploration
【机 构】
：
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China
【出 处】
：
计算机科学技术学报（英文版）
【发表日期】
：
2012年4期
其他文献
针对安卓手机App功能测试工具中存在的测试不全面和测试用例复用性差等问题,提出在标准路径引导下基于控件遍历的App功能测试方法.由测试人员录制一条测试路径作为标准路径;
11月1日,国家税务总局对车辆购置税进行下调.rn11月1日,南京铁路分局的运输调度指挥管理系统DMIS正式通过铁道部鉴定并投入使用,调度中心的电脑将日夜监控铁路线上各次列车运
期刊
当前高职院校和企业在合作的深度与广度上不断拓展,但在高职艺术设计专业生产性实训基地建设中,由于学校机制和企业运营上有着一定的矛盾和不足,导致了实训教学效率不高。根