Publications
Program Analysis
  1. “Understanding the API Usage in Java”, Information and Software Technology, Accepted.
  2. Wang LuLu, Li Bixin, Leung Hareton, “A new method to encode calling contexts with recursions”, Science China Information Sciences, Accepted.
  3. Xiaobing Sun, Bixin Li, Hareton Leung, Bin Li, Junwu Zhu, “Static Change Impact Analysis Techniques: A Comparative Study”, Journal of Systems and Software, 109, 137-149, 2015.
  4. Xiaobing Sun, Bixin Li, Hareton Leung, Bin Li, “MSR4SM: Using Topic Models to Effectively Mining Software Repositories for Software Maintenance Tasks”, Information and Software Technology, 66, 1-12, 2015
  5. Yutian Tang, Hareton Leung, “Top-down Feature Mining Framework for Software Product Line”, The First International Conference on Advances and Trends in Software Engineering, Barcelona, Spain, 27-30 April 2015, 71-81.
  6. Yutian Tang, Hareton Leung, “Feature Mining for Product Line Construction”, 17th International Conference on Enterprise Information Systems, Barcelona, Spain, 19-24 April 2015, 29-33.
  7. Xiaobing Sun, Hareton Leung, Bin Li, Bixin Li, “Change impact analysis and changeability assessment for a change proposal: An empirical study”;, Journal of Systems and Software, 96, 51-60, Oct  2014
  8. Bixin Li, Shunhui Ji, Dong Qiu, Hareton Leung, Gongyuan Zhang. “Verifying the Concurrent Properties in BPEL Based Web Service Composition”, IEEE Transactions on Network and Service Management , 10(4), 410-424, Dec. 2013, ISSN: 1932-4537
  9. Bixin Li, Lulu Wang, and Hareton Leung. “Profiling Selected Paths with Loops”. Science China: Information Science, 57, 072105(15), July 2014
  10. Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung, “Using Water Wave Propagation Phenomenon to Study Software Change Impact Analysis”, Advances in Engineering Software, 58, 45-53, Jan 2013,  ISSN: 0965-9978
  11. Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung, “WAVE-CIA: A Novel CIA Approach Based on Call Graph Mining”, 28th Symposium On Applied Computing (SAC2013), Coimbra, Portugal, March 18 - 22, 2013.
  12. Bixin, Li, Xiaobing Sun, Hareton Leung, “Combining concept lattice with call graph for impact analysis”, Advances in Engineering Software, 53 (11), 1-13, 2012.
  13. Bixin, Li, Xiaobing Sun, Hareton Leung, Sai Zhang, “A Survey of Code-based Change Impact Analysis Techniques”, Software Testing Verification and Reliability, 85(7): 1558-1576, 2012.
  14. Bixin Li, Lulu Wang, Hareton Leung, “Profiling All Paths: A New Profiling Technique for Both Cyclic and Acyclic Paths”, Journal of Systems and Software, 85(7): 1558-1576, 2012.