1. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China
2. School of Electronics Engineering and Computer Science, Peking University, Beijing, China
3. National Engineering Research Center of Software Engineering, Peking University, Beijing, China
4. School of Computing and Communications, Lancaster University, Lancashire, UK