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

Search Results

Help

Item hits: (Results 1-10 of 36)

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
  |  
 
characterizing failure-causing parameter interactions by adaptive testing [会议论文]
20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, 17-Jul-02
Zhang Zhiqiang; Zhang Jian
  |  
 
program analysis: from qualitative analysis to quantitative analysis (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Liu Sheng; Zhang Jian
  |  
 
searching for doubly self-orthogonal latin squares [会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming; Liu Sheng; Zhang Jian
  |  
 
tuple density: a new metric for combinatorial test suites (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Chen Baiqiang; Zhang Jian
  |  
 
local lemma: a new strategy of pruning in sat solvers [会议论文]
25th Annual ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22,
Jia Xiangxue; Lu Runming; Liu Sheng; Zhang Jian
  |  
 
combinatorial testing with shielding parameters [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Chen Baiqiang; Yan Jun; Zhang Jian
  |  
 
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
  |  
 
solving global unconstrained optimization problems by symmetry-breaking [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, China, 43983
Ji Xiaohui; Ma Fei Fei; Zhang Jian
  |  
 
volume computation for boolean combination of linear arithmetic constraints [会议论文]
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian

 

1 2 3 4 next

 

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