中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters        
Items/Page:    Sort:
基于事件结构的并发程序可视化调试方法 [期刊论文]
软件学报, 2014-01-01, 卷号: 25, 期号: 3, 页码: 457-471
伍晓泉; 魏峻

 
基于谓词执行信息分析的自适应缺陷定位算法 [期刊论文]
计算机学报, 2014-01-01, 卷号: 37, 期号: 3, 页码: 500-511
郝鹏; 郑征; 张震宇; 高乙超; 宫成; 薛云志

 
程序断言与切片技术在检测程序非崩溃错误中的应用 [期刊论文]
小型微型计算机系统, 2014-01-01, 卷号: 35, 期号: 8, 页码: 1699-1704
邓超强; 曾凡平; 张辉; 张震宇; 董齐兴

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace