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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
memory leak detection based on memory state transition graph [会议论文]
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Viet nam, December 5, 2011 - December 8, 2011
Xu Zhenbo; Zhang Jian; Xu Zhongxing

 
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
  |  
 
macro-like instrumentation grammar for boolean expressions [会议论文]
2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010, Wuhan, China, 40878
Zhang Zhenyu; Xu Zhongxing; Liu Zhifang; Gao Xiaopeng
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
path and context sensitive inter-procedural memory leak detection [会议论文]
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Zhongxing; Zhang Jian
  |  
 
finding relations among linear constraints [会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun; Zhang Jian; Xu Zhongxing
  |  
 
a test data generation tool for unit testing of c programs [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Xu Zhongxing; Zhang Jian
  |  
 
a test data generation tool for unit testing of c programs [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Xu Zhongxing; Zhang Jian
  |  
 

1

 

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