1. School of Computer Science, Northwestern Polytechnical University, Xi’an, China
2. National Engineering Research Center for Software Engineering, Peking University, Beijing, China, School of Software and Microelectronics, Peking University, Beijing, China, and Key Laboratory of High Confidence Software Technologies (PKU), Ministry of Education, Peking University, Beijing, China