Key Laboratory of High Confidence Software Technologies (Ministry of Education), Peking University, Beijing, China
Tao Xie, Zhi Jin & Gang Huang
Department of Computer Science and Technology, Nanjing University, Nanjing, China
Xuan-Dong Li
Department of Computer Science, University of Victoria, Victoria, British Columbia, Canada
Hausi A. Muller
Faculty of Science, Technology and Medicine & Interdisciplinary Centre for Security Reliability and Trust, University of Luxembourg, Luxembourg, Luxembourg
Jun Pang
Institute of Software, Chinese Academy of Sciences, Beijing, China
Li-Jun Zhang