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

Search Results

Help

Item hits: (Results 1-10 of 22)

Items/Page:    Sort:
SMT约束的解计数方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-20
葛存菁
  |  
 
安卓应用活动分析与测试优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-01-01
王平
  |  
 
团划分问题的局部搜索算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-01
Lv Yiqi
  |  
 
浮点数程序静态分析与缺陷检测 [学位论文]
博士, 北京: 中国科学院研究生院, 2018-05-01
吴兴明
  |  
 
C程序测试技术的优化与完善 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-01-01
杨玲
  |  
 
安卓应用的字节码插桩与资源泄漏修复 [学位论文]
硕士, 北京: 中国科学院大学, 2017-06-01
刘洁瑞
  |  
 
面向字节码的安卓应用缺陷检测 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-25
吴添勇
  |  
 
Android程序的GUI探索技术与应用 [学位论文]
硕士, 北京: 中国科学院大学, 2017-05-01
燕季薇
  |  
 
组合测试:测试生成、错误定位与应用 [学位论文]
博士, 北京: 中国科学院大学, 2015-06-01
张智强
  |  
 
流敏感的Android应用程序错误检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-28
张艳丽
  |  
 

1 2 3 next

 

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