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