Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University