1. Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education
2. Institute of Software, EECS, Peking University, Beijing, China
3. Faculty of Information Technology, Monash University, Australia
4. School of Information Systems, Singapore Management University, Singapore