Hong Mei - Selected Publications#
(1) Ying Zhang, Gang Huang, Xuanzhe Liu, Wei Zhang, Hong Mei, and Shunxiang Yang.
Refactoring Android Java Code for On-Demand Computation Offloading.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp 233-248, 2012.
(2) Hong Mei, Dan Hao, Lingming Zhang, Lu Zhang, Ji Zhou, and Rothermel Gregg.
A Static Approach to Prioritizing JUnit Test Cases.
IEEE Transactions on Software Engineering, 38(6): 1258 - 1275, 2012.
(3) Hong Mei, Gang Huang, and Tao Xie.
Internetware: A Software Paradigm for Internet Computing.
IEEE Computer, 26-31, July 2012.
(4) Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei.
Inferring Resource Specifications from Natural Language API Documentation.
Proceedings of IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.307-318, 2009.
(5) Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, and Hong Mei.
MAPO: Mining and Recommending API Usage Patterns.
Proceeding of the 23rd European Conference on Object-Oriented Programming (ECOOP), pp. 318-343, 2009.
(6) Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.
Towards Automatic Model Synchronization from Model Transformations
Proceedings of the 22nd International Conference on Automated Software Engineering (ASE), pp. 164-173, 2007.
(7) Lingshuang Shao, Jing Zhang, Yong Wei, Junfeng Zhao, Bing Xie, and Hong Mei.
Personalized Qos Prediction for Web Services via Collaborative Filtering.
Proceeding of IEEE International Conference on Web Services (ICWS), pp. 439-446, 2007.
(8) Wei Zhang, Hong Mei, and Haiyan Zhao.
Feature-Driven Requirements Dependency Analysis and High-Level Software Design.
Requirements Engineering, Springer, 11(3):205-220, 2006.
(9) Gang Huang, Hong Mei, and Fuqing Yang.
Runtime Recovery and Manipulation of Software Architecture of Component-based Systems. International Journal of Automated Software Engineering, 13(2): 251-278, 2006.
(10) Wei Zhang, Haiyan Zhao, and Hong Mei.
A Propositional Logic-based Method for Verification of Feature Models.
Proceedings of the 6th International Conference on Formal Engineering Methods (FM), pp 115-130, 2004.
For more papers, please see http://sei.pku.edu.cn/~meih/index_en.html.