State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University