1. School of Software and Microelectronics, Peking University, Beijing, China
2. School of Software Technology, Zhejiang University, Ningbo, China
3. Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, China
4. National Research Center of Software Engineering, Peking University, Beijing, China
5. Huawei Technologies Co., Ltd., Beijing, China