中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Community
计算机科学国家重点... [15]
作者
左正康 [1]
Issued Date
2017 [1]
Language
Project
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 15)

Filters        
Items/Page:    Sort:
安卓应用的字节码插桩与资源泄漏修复 [学位论文]
硕士, 北京: 中国科学院大学, 2017-06-01
刘洁瑞
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
后序遍历二叉树非递归算法的推导及形式化证明 [期刊论文]
计算机工程与科学, 2010-01-01, 卷号: 32, 期号: 3, 页码: 119-123
左正康; 游珍; 薛锦云
  |  
 
C程序测试数据生成与死循环检测研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2009-06-05
阮辉
  |  
 
C程序的静态分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2009-06-05
许中兴
  |  
 
测试顺序选择策略研究 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 4, 页码: 781-783
李都
  |  
 
精确的程序静态分析 [期刊论文]
计算机学报, 2008-01-01, 卷号: 31, 期号: 9, 页码: 1549-1553
张健
  |  
 
一种有效的边界测试点选取策略 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 2, 页码: 251-256
赵瑞莲; 董红霞
  |  
 
算法程序变换研究与进展 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 11, 页码: 232-238
石海鹤; 石海鹏; 郑宇军; 薛锦云
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 

1 2 next

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