| 2026 | SANER | Beyond Lexical: Functional Semantics and Fusion for Precise Architecture Recovery. | Chunguang Zhang, Bixin Li, Yan Xiao |
| 2025 | APSEC | A Software Architecture Resilience Assessment Method via Dynamic Bayesian Networks. | Hao Chen, Bixin Li, Chunguang Zhang, Zixuan Liu |
| 2025 | APSEC | AutoRCA: A Graph Sequence-based Automatic Root Cause Analysis Method for Microservice Systems through Multimodal Data. | Ying Zhou, Yingying Shen, Bixin Li |
| 2025 | ICPADS | TrustFabric: A Privacy-Preserving Method for Hyperledger Fabric Using Trusted Execution Environment. | Dongyu Cao, Bixin Li, Jiahao He, Lulu Wang, Li Liao, Ying Zhou |
| 2024 | ISSRE | Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes. | Mei Han, Lulu Wang, Jianming Chang, Bixin Li, Chunguang Zhang |
| 2024 | QRS | Test Case Generation for Access Control Based on UML Activity Diagram. | Ao Fan, Li Liao, Lulu Wang, Bixin Li |
| 2024 | QRS | OTCP-ISVM: Online Test Case Prioritization Based on Incremental Support Vector Machine. | Huaixu Lin, Bixin Li, Liang Liu, Lulu Wang, Jianming Chang |
| 2024 | QRS | Graph-Based Salient Class Classification in Commits. | Jiahao Ren, Jianming Chang, Lulu Wang, Zaixing Zhang, Bixin Li |
| 2023 | COMPSAC | CCDetector: Detect Chaincode Vulnerabilities Based on Knowledge Graph. | Xiangfei Xu, Tianyuan Hu, Bixin Li, Li Liao |
| 2022 | APWEB | Answering Why-Not Questions on GeoSPARQL Queries. | Yin Li, Bixin Li |
| 2022 | QRS | Model Checking the Safety of Raft Leader Election Algorithm. | Qihao Bao, Bixin Li, Tianyuan Hu, Dongyu Cao |
| 2022 | QRS | PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively. | Jingyuan Cai, Ying Zhou, Tianyuan Hu, Bixin Li |
| 2022 | QRS | A BiLSTM-Attention Model for Detecting Smart Contract Defects More Accurately. | Chen Qian, Tianyuan Hu, Bixin Li |
| 2022 | QRS | Can PoW Consensus Protocol Resist the Whale Attack? | Xueyong Sun, Qihao Bao, Bixin Li |
| 2021 | QRS | ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively. | Zhenyu Pan, Tianyuan Hu, Chen Qian, Bixin Li |
| 2021 | SEKE | SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract. | Tianyuan Hu, Zhenyu Pan, Bixin Li |
| 2020 | CaiSE | A Combined Method for Usage of NLP Libraries Towards Analyzing Software Documents. | Xinyun Cheng, Xianglong Kong, Li Liao, Bixin Li |
| 2020 | COMPSAC | An Empirical Investigation into the Effects of Code Comments on Issue Resolution. | Qiwei Song, Xianglong Kong, Lulu Wang, Bixin Li |
| 2020 | QRS | An Analysis of Utility for API Recommendation: Do the Matched Results Have the Same Efforts? | Huidan Li, Rensong Xie, Xianglong Kong, Lulu Wang, Bixin Li |
| 2020 | SEKE | A Co-evolutionary Method Between Architecture and Code. | Tong Wang, Bixin Li, Lingyuan Zhu |
| 2019 | ISSRE | HiRec: API Recommendation using Hierarchical Context. | Rensong Xie, Xianglong Kong, Lulu Wang, Ying Zhou, Bixin Li |
| 2019 | QRS | Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements. | Tong Wang, Bixin Li |
| 2019 | SEKE | A Multilevel Analysis Method for Architecture Erosion. | Tong Wang, Dongdong Wang, Bixin Li |
| 2019 | SEKE | Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S). | Tong Wang, Yelian Zhang, Xufang Gong, Bixin Li |
| 2019 | SEKE | Identify MVC architectural pattern based on ontology. | Qiang Yin, Lulu Wang, Bixin Li |
| 2019 | TASE | Identify Blackboard Pattern Based on Ontology. | Lihui Tang, Lulu Wang, Bixin Li |
| 2018 | APSEC | Are Smell-Based Metrics Actually Useful in Effort-Aware Structural Change-Proneness Prediction? An Empirical Study. | Huihui Liu, Yijun Yu, Bixin Li, Yibiao Yang, Ru Jia |
| 2018 | COMPSAC | Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution. | Huihui Liu, Xufang Gong, Li Liao, Bixin Li |
| 2016 | DASC | A Model to Evaluate the Credibility of Service in Cloud Computing Environment. | Li Liao, Bixin Li, Chao Li |
| 2016 | SERA | Trust analysis of composite service evolution. | Li Liao, ShanShan Qi, Bixin Li |
| 2016 | SERA | A technique to evaluate software evolution based on architecture metric. | Bixin Li, Li Liao, Jingwen Si |
| 2015 | ISSRE | Experience report: How do techniques, programs, and tests impact automated program repair? | Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li |
| 2013 | ICSE | Exploring software engineering data with formal concept analysis. | Xiaobing Sun, Ying Chen, Bin Li, Bixin Li |
| 2013 | SAC | WAVE-CIA: a novel CIA approach based on call graph mining. | Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung |
| 2013 | SEKE | ELCD: an efficient online cycle detection technique for pointer analysis. | Fei Liu, Lulu Wang, Bixin Li |
| 2013 | SEKE | Testing Configurable Architectures For Component-Based Software Using an Incremental Approach. | Chuanqi Tao, Bixin Li, Jerry Gao |
| 2012 | APSEC | Data Depedency Based Trust Evaluation for BPEL Processes. | Cuicui Liu, Bixin Li, ShanShan Qi, Xiaona Wu, Rui Song |
| 2012 | APSEC | A Trust Impact Analysis Model for Composite Service Evolution. | ShanShan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song |
| 2012 | APSEC | A Preference and Honesty Aware Trust Model for Web Services. | Rui Song, Bixin Li, Xiaona Wu, Cuicui Liu, ShanShan Qi |
| 2012 | APSEC | Trust-Based Service Composition and Optimization. | Xiaona Wu, Bixin Li, Rui Song, Cuicui Liu, ShanShan Qi |
| 2012 | COMPSAC | A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis. | Xiaobing Sun, Bixin Li, Qiandong Zhang |
| 2012 | SEKE | A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. | Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai |
| 2012 | SEKE | Using FCA-based Change Impact Analysis for Regression Testing. | Xiaobing Sun, Bixin Li, Chuanqi Tao, Qiandong Zhang |
| 2012 | SEKE | Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. | Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji |
| 2012 | SEKE | Mining Call Graph for Change Impact Analysis. | Qiandong Zhang, Bixin Li, Xiaobing Sun |
| 2012 | SEKE | HybridUML Based Verification of CPS Using Differential Dynamic Logic. | Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji |
| 2011 | COMPSAC | A Technique of Profiling Selective Paths. | Lulu Wang, Bixin Li |
| 2011 | COMPSAC | Ontology-Based Reliability Evaluation for Web Service. | Xifeng Wang, Bixin Li, Li Liao, Chunli Xie |
| 2011 | COMPSAC | An Effective Approach for Automatic Generation of Class Integration Test Order. | Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li |
| 2011 | COMPSAC | A Staged Model for Web Service Reliability. | Chunli Xie, Bixin Li, Xifeng Wang |
| 2011 | SAC | Using lattice of class and method dependence for change impact analysis of object oriented programs. | Xiaobing Sun, Bixin Li, Sai Zhang, Chuanqi Tao, Xiang Chen, Wanzhi Wen |
| 2011 | SEKE | Multithreaded Pointer Analysis Based on Petri Net. | Fei Liu, Bixin Li |
| 2011 | SEKE | A Model-based Approach to Regression Testing of Component-based Software. | Chuanqi Tao, Bixin Li, Jerry Gao |
| 2011 | SEKE | A Technology of Profiling Inter-procedural Paths. | Lulu Wang, Bixin Li |
| 2011 | SEKE | A Brief Survey on Automatic Integration Test Order Generation. | Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li |
| 2011 | SEKE | Program slicing spectrum-based software fault localization. | Wanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li |
| 2011 | SEKE | A Web Service Reliability Model Based on Birth-Death Process. | Chunli Xie, Bixin Li, Xifeng Wang |
| 2010 | APSCC | A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. | Gongyuan Zhang, Bixin Li |
| 2010 | APSEC | 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 |
| 2010 | APSEC | A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs. | Chuanqi Tao, Bixin Li, Xiaobing Sun, Ying Zhou |
| 2010 | COMPSAC | Change Impact Analysis Based on a Taxonomy of Change Types. | Xiaobing Sun, Bixin Li, Chuanqi Tao, Wanzhi Wen, Sai Zhang |
| 2010 | COMPSAC | An Approach to Regression Test Selection Based on Hierarchical Slicing Technique. | Chuanqi Tao, Bixin Li, Xiaobing Sun, Chongfeng Zhang |
| 2010 | COMPSAC | Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem. | Zhengshan Wang, Bixin Li, Lulu Wang, Meng Wang, Xufang Gong |
| 2010 | COMPSAC | An Optimization Strategy for Evolutionary Testing Based on Cataclysm. | Meng Wang, Bixin Li, Zhengshan Wang, Xiaoyuan Xie |
| 2010 | RV | WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. | Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li |
| 2009 | APSEC | Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. | Bixin Li, Yu Zhou, Jun Pang |
| 2009 | SEKE | Generating Test Cases of Composite Services Based on OWL-S and EH-CPN. | Bixin Li, Ju Cai, Dong Qiu, Shunhui Ji, Yuting Jiang |
| 2009 | SEKE | WSTester: Testing Web Service for Behavior Conformance. | Bixin Li, Lili Yang, Shunhui Ji, Dong Qiu, Xufang Gong |
| 2008 | APSEC | Extending PSC for Monitoring the Timed Properties in Composite Services. | Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun |
| 2008 | APWEB | An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. | Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun |
| 2008 | COMPSAC | A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. | Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong |
| 2008 | ICWS | Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. | Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun |
| 2008 | SMC | A user-oriented Web service reliability model. | Bixin Li, Zhiyong Su, Ying Zhou, Xufang Gong |
| 2008 | SERVICES | Regression Testing of Composite Service: An XBFG-Based Approach. | Di Wang, Bixin Li, Ju Cai |
| 2007 | APSCC | A Formal Model for Web Service Composition and Its Application Analysis. | Bixin Li, Yu Zhou, Ying Zhou, Xufang Gong |
| 2007 | SNPD | On Testing Multi-threaded Java Programs. | Xufang Gong, Yanchen Wang, Ying Zhou, Bixin Li |
| 2007 | SNPD | A service-oriented methodology supporting automatic synthesis and verification of component behavior model. | Pengcheng Zhang, Yu Zhou, Bixin Li |
| 2006 | SNPD | An Extension to Robustness Slicing Algorithm Based on Dynamic Array. | Yancheng Wang, Bixin Li, Xufang Gong |
| 2005 | SNPD | Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow. | Bixin Li, Ying Zhou, Junhui Mo, Yancheng Wang |
| 2005 | SNPD | A Study of Model Layers and Reflection. | Ying Zhou, Bixin Li |
| 2004 | COMPSAC | Modular Monadic Program Slicing. | Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang |
| 2002 | APLAS | An Approach for Assessing Software Coupling. | Bixin Li |