1. School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
2. National Engineering Research Center for Software Engineering, Peking University, Beijing, China
3. School of Software and Microelectronics, Peking University, Beijing 102600, China
4. Key Laboratory of High Confidence Software Technologies (PKU), Ministry of Education, Beijing, China