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

Search Results

Help

Item hits: (Results 11-20 of 20)

Items/Page:    Sort:
static detection of bugs caused by incorrect exception handling in java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Wu Xiaoquan; Xu Zhongxing; Wei Jun
  |  
 
verifying the safety of xen security modules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
  |  
 
reconstructing a packed dll binary for static analysis [会议论文]
5th International Conference on Information Security Practice and Experience, ISPEC 2009, Xian, China, April 13,
Wang Xianggen; Feng Dengguo; Su Purui

 
remote attestation for custom-built software [会议论文]
International Conference on Networks Security, Wireless Communications and Trusted Computing, Wuhan, PEOPLES R CHINA, APR 25-26,
Meng Ce; He Yeping; Zhang Qian

 
static analysis of a class of memory leaks in trustedbsd mac framework [会议论文]
5th International Conference on Information Security Practice and Experience, Xi an, PEOPLES R CHINA, APR 13-15,
Wu Xinsong; Zhou Zhouyi; He Yeping; Liang Hongliang

 
predicting fault-prone modules: a comparative study [期刊论文]
Springer Verlag, 2009-01-01, 卷号: 35 Monograph title:Software Engineering Approaches for Offshore and Outsourced Development: Third International Conference, SEAFOOD 2009, Proceedings, 页码: 45-59
Jia Hao; Shu Fengdi; Yang Ye; Wang Qing
  |  
 
基于静态分析的强制访问控制框架的正确性验证 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 4, 页码: 730-739
吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 
combining static analysis and case-based search space partitioning for reducing peak memory in model checking [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 6, 页码: 762-770
Zhang WH
  |  
 
automated test case generation for the stress testing of multimedia systems [期刊论文]
Software:Practice and Experience, 2002-01-01, 卷号: 32, 期号: 15, 页码: 1411-1435
Zhang Jian; Cheung SC

 

previous 1 2

 

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