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

Search Results

Help

Item hits: (Results 1-10 of 20)

Items/Page:    Sort:
基于SSH框架的java代码自动生成 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 9, 页码: 72-77
丁亮; 许舒人

 
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
可信计算技术研究 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 8, 页码: 1332-1349
冯登国; 秦宇; 汪丹; 初晓博
  |  
 
基于二进制补丁比对的软件输入数据自动构造 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 14, 页码: 3169-3173
沈亚楠; 赵荣彩; 任华; 王小芹; 刘振华; 张新宇; 李鹏飞
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
constraint solving techniques for software testing and analysis [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei
  |  
 
an algebraic approach to mechanical tabu search algorithm generation [会议论文]
2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878
Zheng Yujun; Shi Haihe; Xue Jinyun
  |  
 
automated test program generation for an industrial optimizing compiler [会议论文]
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui
  |  
 
an empirical study on bug assignment automation using chinese bug data [会议论文]
3rd International Symposium on Empirical Software Engineering and Measurement, Lake Buena Vista, FL, OCT 15-16,
Lin Zhongpeng; Shu Fengdi; Yang Ye; Hu Chenyong; Wang Qing
  |  
 
adjoint code generator [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009-01-01, 卷号: 52, 期号: 6, 页码: 926-941
Cheng Qiang; Cao JianWen; Wang Bin; Zhang HaiBin

 

1 2 next

 

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