1. Department of Software, Yunnan University, Kunming, China
2. Department of Computer Science, University of Sheffield, Sheffield, U.K.
3. Yunnan Key Laboratory of Software Engineering and the Department of Software, Yunnan University, Kunming, China