中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	程序断言与切片技术在检测程序非崩溃错误中的应用期刊论文 OAI收割小型微型计算机系统, 2014, 卷号: 35, 期号: 8, 页码: 1699-1704 邓超强; 曾凡平; 张辉; 张震宇; 董齐兴 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2014/12/16 断言切片程序执行监测非崩溃错误
	一种提高时序安全属性静态检测实用性的方法期刊论文 OAI收割计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244 作者: 霍玮; 李丰; 丁兆伟; 桑春雷; 张兆庆 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 有限状态自动机时序安全属性切片技术程序静态检测 F-衡量
	面向方面程序的简化动态依赖图切片方法期刊论文 OAI收割计算机科学与探索, 2011, 期号: 3, 页码: 229-237 张广泉; 黄静; 章晓芳; 刘长林 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/10/10 面向方面程序静态切片动态切片简化动态依赖图
	别名集切片与并行化研究期刊论文 OAI收割计算机工程, 2011, 卷号: 37.0, 期号: 021, 页码: 6 作者: 桑春雷; 张兆庆 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2023/12/04 别名集切片并行程序分析切片技术别名分析程序检错
	基于JavaScript切片的AJAX框架网络爬虫技术研究期刊论文 OAI收割计算机系统应用, 2009, 卷号: 018 - \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2020/10/26 JavaScript 程序切片网络爬虫有限状态机 AJAX