1. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Computer Science, Peking University, Beijing, China
2. Institute of Software, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China
3. University of Massachusetts Amherst, Massachusetts, USA
4. Beijing Xiaomi Mobile Software Company Ltd., Beijing, China
5. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Computer Science, Peking University, Beijing, China, Telecom SudParis and Institut Polytechnique de Paris, Evry, France