1. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China
2. University of Massachusetts, Amherst, Massachusetts, USA
3. Key Laboratory of High Confidence Software Technologies (Ministry of Education), National Engineering Research Center for Software Engineering, Peking University, Beijing, China