NASAC2016 Accepted Papers for NASAC2016 English Track

Yiting Zhang, Cheng Xie, Haojian Zhong, Lihong Jiang and Hongming Cai. RMP: An Element-level and Graph-level Combined Ontology Matching Framework
Wei Shao, Xiaoning Wang and Wenpin Jiao. A Developer Recommendation Framework in Software Crowdsourcing Development
Tianxiao Gu, Ruiqi Liu, Xiaoxing Ma and Zelin Zhao. Precise Heap Differentiating Using Access Path and Execution Index
Wang Danru, Li Na, Gu Qing, Hao Huizhen and Chen Daoxu. Festra: a Feature Based Microscopic Sandstone Image classification Method using Transfer Learning
Liang Mingyuan, Shen Siqi, Li Dongsheng, Mi Haibo and Liu Feng. HDID: An Efficient Hybrid Docker Image Distribution System for Datacenters
Celia Chen, Reem Alfayez, Kamonphop Srisopha, Lin Shi and Barry Boehm. Evaluating Human-Assessed Software Maintainability Metrics
泽文 丁, 志球 黄 and 弛 张. An Abstract Domain Based on Two-Interval Difference-Bound Matrices
Pan He, Gang Liu, Chun Tan and Yue Yuan. Analysis and Optimization of a Joint Redundancy and Inspection-Based Maintenance Strategy
Xuan Wang and Hongji Yang. Search Based Requirements Optimisation: A Creative Computing Approach
Jingjing Ji and Rong Peng. An Analysis Pattern Driven Analysis Requirements Modeling Method
Zi Wang, Guohua Shen, Zhiqiu Huang, Jia Si and Cheng Pan. A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System
Jin-Hui Shan, Hai-Yan Zhao, Jin-Bo Wang, Rui-Xue Wang, Cheng-Lin Ruan and Zhe-Xi Yao. An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study
Wang Bo, Bai Xiaoying, Chen Wenguang and Song Xiaoyu. Temporal Test Generation for Embedded System Based on Correlation Analysis of Timing Constraints
Ziyuan Wang. An Efficient Algorithm to Identify Minimal Failure-Causing Schemas from Combinatorial Test Suite
Hongyu Kuang, Jia Nie, Hao Hu and Jian Lü. Improving Automatic Identification of Outdated Requirements by Using Closeness Analysis based on Source Code Changes