| 2012 |
| 12 | Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph. Bixin Li, Dong Qiu, Hareton Leung, Di Wang. Journal of Systems and Software (85): 1300-1324 (2012). Web SearchBibTeXDownload |
| 2010 |
| 11 | Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture. Bixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su. APSEC 2010, 206-215. Web SearchBibTeXDownload |
| 10 | A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs. Chuanqi Tao, Bixin Li, Xiaobing Sun, Ying Zhou. APSEC 2010, 290-299. Web SearchBibTeXDownload |
| 9 | Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph. Bixin Li, Dong Qiu, Shunhui Ji, Di Wang. ICSM 2010, 1-10. Web SearchBibTeXDownload |
| 2008 |
| 8 | A user-oriented Web service reliability model. Bixin Li, Zhiyong Su, Ying Zhou, Xufang Gong. SMC 2008, 3612-3617. Web SearchBibTeXDownload |
| 2007 |
| 7 | A Formal Model for Web Service Composition and Its Application Analysis. Bixin Li, Yu Zhou, Ying Zhou, Xufang Gong. APSCC 2007, 204-210. Web SearchBibTeXDownload |
| 6 | On Testing Multi-threaded Java Programs. Xufang Gong, Yanchen Wang, Ying Zhou, Bixin Li. SNPD (1) 2007, 702-706. Web SearchBibTeXDownload |
| 2005 |
| 5 | Matrix-based component dependence representation and its applications in software quality assurance. Bixin Li, Ying Zhou, Yancheng Wang, Junhui Mo. SIGPLAN Notices (40): 29-36 (2005). Web SearchBibTeXDownload |
| 4 | Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow. Bixin Li, Ying Zhou, Junhui Mo, Yancheng Wang. SNPD 2005, 96-101. Web SearchBibTeXDownload |
| 3 | A Study of Model Layers and Reflection. Ying Zhou, Bixin Li. SNPD 2005, 110-113. Web SearchBibTeXDownload |
| 2004 |
| 2 | Modular Monadic Program Slicing. Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang. COMPSAC 2004, 66-71. Web SearchBibTeXDownload |
| 1 | Model for Slicing JAVA Programs Hierarchically. Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao. J. Comput. Sci. Technol. (19): 848-858 (2004). Web SearchBibTeXDownload |