1. School of Software and Microelectronics, Peking University, Beijing, China
2. Department of Dermatology, Peking University First Hospital, Beijing, China
3. Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Computer Science, Peking University, Beijing, China
4. National Engineering Research Center for Software Engineering, Peking University, Beijing, China