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

Search Results

Help

Item hits: (Results 1-10 of 15)

Filters        
Items/Page:    Sort:
a dynamic fault localization technique with noise reduction for java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Xu Jian; Chan W.K.; Zhang Zhenyu; Tse T.H.; Li Shanping
  |  
 
cupping and diamond embeddings: a unifying approach [会议论文]
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02
Fang Chengling; Liu Jiang; Wu Guohua
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
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
  |  
 
a systematic framework for grammar testing [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming

 
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 
test data generation for c programs with string-handling functions [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Ruan Hui; Zhang Jian; Yan Jun
  |  
 
what semantic equivalences are suitable for non-interference properties in computer security [会议论文]
9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878
Huang Xiaowei; Jiao Li; Lu Weiming
  |  
 

1 2 next

 

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