1. State Key Laboratory of Computer Sciences, Institute of Software, Chinese Academy of Sciences, Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China
2. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China
3. College of Information and Computer Sciences, University of Massachusetts Amherst, USA
4. State Key Laboratory of Computer Sciences, Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Beijing, China
5. Department of Computer Science, University of Colorado Boulder, USA
6. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China, Telecom SudParis, Institut Polytechnique de Paris, Evry, France