中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	基于事件结构的并发程序可视化调试方法 [期刊论文] 软件学报, 2014-01-01, 卷号: 25, 期号: 3, 页码: 457-471 伍晓泉; 魏峻
	基于谓词执行信息分析的自适应缺陷定位算法 [期刊论文] 计算机学报, 2014-01-01, 卷号: 37, 期号: 3, 页码: 500-511 郝鹏; 郑征; 张震宇; 高乙超; 宫成; 薛云志
	程序断言与切片技术在检测程序非崩溃错误中的应用 [期刊论文] 小型微型计算机系统, 2014-01-01, 卷号: 35, 期号: 8, 页码: 1699-1704 邓超强; 曾凡平; 张辉; 张震宇; 董齐兴


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In