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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters    
Items/Page:    Sort:
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  
 
Java内存模型的动态验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
赵晓凯
  |  
 
a dynamic fault localization technique with noise reduction for java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Xu Jian; Chan W.K.; Zhang Zhenyu; Tse T.H.; Li Shanping
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
一种用于APLA→JAVA系统可靠性评估模型 [期刊论文]
昆明理工大学学报(理工版), 2009-01-01, 卷号: 34, 期号: 6, 页码: 40-43
杨乐; 刘珊慧; 薛锦云
  |  
 
implementing higher-order control in java [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Yu Gang
  |  
 

1

 

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