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

Search Results

Help

Item hits: (Results 1-10 of 20)

Items/Page:    Sort:
Will This Bug-fixing Change Break Regression Testing? [会议论文]
the International Symposium on Empirical Software Engineering and Measurement(ESEM), 中国北京友谊宾馆, 2015-10-25
Xinye Tang; Song Wang; Ke Mao
  |  
 
Statically-directed dynamic taint analysis [期刊论文]
Chinese Journal of Electronics, 2014-01-01, 卷号: 23, 期号: 1, 页码: 18-24
Chen, Kai (1); Zhang, Yingjun (2)

 
Characterizing and detecting resource leaks in Android applications [会议论文]
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Palo Alto, CA, United states, November 11, 2013 - November 15, 2013
Guo, Chaorong (1); Zhang, Jian (1); Yan, Jun (2); Zhang, Zhiqiang (1); Zhang, Yanli (1)

 
Vulcloud: Scalable and hybrid vulnerability detection in cloud computing [会议论文]
7th International Conference on Software Security and Reliability, SERE-C 2013, Gaithersburg, MD, United states, June 18, 2013 - June 20, 2013
Wu, Jingzheng (1); Wu, Yanjun (1); Wu, Zhifei (1); Yang, Mutian (1); Wang, Yongji (2)

 
debug concurrent programs with visualization and inference of event structure [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Wu Xiaoquan; Wei Jun; Wang Xu

 
semi-static detection of runtime type errors in component-based java programs [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Zhou Xiaowei; Zhang Wenbo; Zhang Jianhua

 
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

 
a multi-compositional enforcement on information flow security [会议论文]
13th International Conference on Information and Communications Security, ICICS 2011, Beijing, China, November 2
Sun Cong; Zhai Ennan; Chen Zhong; Ma Jianfeng

 
parallel computation of continuous petri nets based on hypergraph partitioning [期刊论文]
Journal of Supercomputing, 2011-01-01, 卷号: 62, 期号: 1, 页码: 1-33
Ding Zuohua; Shen Hui; Cao Jianwen

 
hypergraph partitioning for the parallel computation of continuous petri nets [会议论文]
11th International Conference on Parallel Computing Technologies, PaCT 2011, Kazan, Russia, September
Ding Zuohua; Shen Hui; Cao Jianwen
  |  
 

1 2 next

 

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