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