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

Search Results

Help

Item hits: (Results 1-10 of 26)

Items/Page:    Sort:
Android应用能耗漏洞分析技术综述 [期刊论文]
计算机应用与软件, 2016-01-01, 卷号: 33, 期号: 9, 页码: 1
杨红丽; 姜皓; 秦胜潮; 张健; 严俊
  |  
 
Generating combinatorial test suite using combinatorial optimization [期刊论文]
Journal of Systems and Software, 2014-01-01, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1); Yan, Jun (3); Zhao, Yong (5); Zhang, Jian (1)

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

 
Profile directed systematic testing of concurrent programs [会议论文]
2013 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Hu, Yan (1); Yan, Jun (2); Zhang, Jian (2); Jiang, He (1)

 
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)

 
Cascade: A test generation tool for combinatorial testing [会议论文]
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013
Zhao, Yong (1); Zhang, Zhiqiang (1); Yan, Jun (2); Zhang, Jian (1)

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

 
solving generalized optimization problems subject to smt constraints [会议论文]
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Ma Feifei; Yan Jun; Zhang Jian

 
a path-oriented approach to generating executable test sequences for extended finite state machines [会议论文]
IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012
Wu Tianyong; Yan Jun; Zhang Jian

 
complete problem for perfect zero-knowledge quantum proof [会议论文]
38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, Spindleruv Mlyn, Czech republic, January 21
Yan Jun

 

1 2 3 next

 

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