∗ This work was supported in part by the National Natural Science Foundation of China (NSFC) (60073012), Natural Science Foundation of Jiangsu, China (BK2001004), Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University, Foundation of State Key Laboratory for Novel Software Technology in Nanjing University, Opening Foundation of Jiangsu Key Laboratory of Computer I...