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

Search Results

Help

Item hits: (Results 1-10 of 30)

Items/Page:    Sort:
Android应用能耗漏洞分析技术综述 [期刊论文]
计算机应用与软件, 2016-01-01, 卷号: 33, 期号: 9, 页码: 1
杨红丽; 姜皓; 秦胜潮; 张健; 严俊
  |  
 
软件兼容性测试的故障定位分析* [期刊论文]
计算机科学与探索, 2013-01-01, 卷号: 7, 期号: 5, 页码: 405-411
赵勇; 张智强; 严俊; 张健

 
软件兼容性测试的故障定位分析 [期刊论文]
计算机科学与探索, 2013-01-01, 卷号: 7, 期号: 5, 页码: 405-411
赵勇; 张智强; 严俊; 张健

 
《软件测试》专辑前言 [期刊论文]
计算机学报, 2011-01-01, 期号: 6, 页码: 951-952
张健; 徐宝文
  |  
 
组合测试:原理与方法 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1393-1405
严俊; 张健
  |  
 
基于路径分析的死循环检测 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 9, 页码: 1750-1758
阮辉; 严俊; 张健
  |  
 
精确的程序静态分析 [期刊论文]
计算机学报, 2008-01-01, 卷号: 31, 期号: 9, 页码: 1549-1553
张健
  |  
 
语义网的一阶逻辑推理技术支持 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 12, 页码: 3091-3099
徐贵红; 张健
  |  
 
约束问题求解 [期刊论文]
自动化学报, 2007-01-01, 卷号: 33, 期号: 2, 页码: 125-131
季晓慧; 张健
  |  
 
一种基于SAT的运算电路查错方法 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 12, 页码: 2082-2089
陈云霁; 张健; 沈海华; 胡伟武
  |  
 

1 2 3 next

 

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