A Formal Software Development Approach Based on COOZ and Refinement Calculus. - Yunfeng Wang; Bixin Li; Jun Pang 001; Ming Zha; Guoliang Zheng (TOOLS (31), 1999)

An Approach for Assessing Software Coupling. - Bixin Li (APLAS, 2002)

Analyzing information-flow in java program based on slicing technique. - Bixin Li (ACM SIGSOFT Softw. Eng. Notes, 2002)

A technique to analyze information-flow in object-oriented programs. - Bixin Li (Inf. Softw. Technol., 2003)

Modular Monadic Program Slicing. - Yingzhou Zhang; Baowen Xu; Liang Shi; Bixin Li; Hongji Yang (COMPSAC, 2004)

Model for Slicing JAVA Programs Hierarchically. - Bixin Li; Xiaocong Fan; Jun Pang 001; Jianjun Zhao 001 (J. Comput. Sci. Technol., 2004)

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)

A Study of Model Layers and Reflection. - Ying Zhou; Bixin Li (SNPD, 2005)

Matrix-based component dependence representation and its applications in software quality assurance. - Bixin Li; Ying Zhou; Yancheng Wang; Junhui Mo (ACM SIGPLAN Notices, 2005)

An Integrated Regression Testing Framework to Multi-Threaded Java Programs. - Bixin Li; Yancheng Wang; Lili Yang (SET, 2006)

An Extension to Robustness Slicing Algorithm Based on Dynamic Array. - Yancheng Wang; Bixin Li; Xufang Gong (SNPD, 2006)

A Formal Model for Web Service Composition and Its Application Analysis. - Bixin Li; Yu Zhou 010; Ying Zhou; Xufang Gong (APSCC, 2007)

On Testing Multi-threaded Java Programs. - Xufang Gong; Yanchen Wang; Ying Zhou; Bixin Li (SNPD (1), 2007)

A service-oriented methodology supporting automatic synthesis and verification of component behavior model. - Pengcheng Zhang 001; Yu Zhou 010; Bixin Li (SNPD (1), 2007)

Extending PSC for Monitoring the Timed Properties in Composite Services. - Pengcheng Zhang 001; Bixin Li; Zhiyong Su; Mingjie Sun (APSEC, 2008)

An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. - Pengcheng Zhang 001; Bixin Li; Henry Muccini; Mingjie Sun (APWeb Workshops, 2008)

A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. - Pengcheng Zhang 001; Bixin Li; Mingjie Sun; Xufang Gong (COMPSAC, 2008)

A Timed Extension of Property Sequence Chart. - Pengcheng Zhang 001; Bixin Li; Mingjie Sun (HASE, 2008)

Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. - Pengcheng Zhang 001; Bixin Li; Henry Muccini; Yu Zhou 010; Mingjie Sun (ICWS, 2008)

Regression Testing of Composite Service: An XBFG-Based Approach. - Di Wang; Bixin Li; Ju Cai (SERVICES II, 2008)

A user-oriented Web service reliability model. - Bixin Li; Zhiyong Su; Ying Zhou; Xufang Gong (SMC, 2008)

Monitoring BPEL-Based Web Service Composition Using AOP. - Mingjie Sun; Bixin Li; Pengcheng Zhang 001 (ACIS-ICIS, 2009)

Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. - Bixin Li; Yu Zhou 010; Jun Pang 001 (APSEC, 2009)

A Formal Syntax for Probabilistic Timed Property Sequence Charts. - Pengcheng Zhang 001; Lars Grunske; Antony Tang; Bixin Li (ASE, 2009)

Generating Test Cases of Composite Services Based on OWL-S and EH-CPN. - Bixin Li; Ju Cai; Dong Qiu; Shunhui Ji; Yuting Jiang (SEKE, 2009)

WSTester: Testing Web Service for Behavior Conformance. - Bixin Li; Lili Yang; Shunhui Ji; Dong Qiu; Xufang Gong (SEKE, 2009)

A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. - Gongyuan Zhang; Bixin Li (APSCC, 2010)

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)

A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs. - Chuanqi Tao; Bixin Li; Xiaobing Sun 001; Ying Zhou (APSEC, 2010)

Change Impact Analysis Based on a Taxonomy of Change Types. - Xiaobing Sun 001; Bixin Li; Chuanqi Tao; Wanzhi Wen; Sai Zhang 001 (COMPSAC, 2010)

An Approach to Regression Test Selection Based on Hierarchical Slicing Technique. - Chuanqi Tao; Bixin Li; Xiaobing Sun 001; Chongfeng Zhang (COMPSAC Workshops, 2010)

Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem. - Zhengshan Wang; Bixin Li; Lulu Wang 001; Meng Wang; Xufang Gong (COMPSAC Workshops, 2010)

An Optimization Strategy for Evolutionary Testing Based on Cataclysm. - Meng Wang; Bixin Li; Zhengshan Wang; Xiaoyuan Xie (COMPSAC Workshops, 2010)

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)

WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. - Pengcheng Zhang 001; Zhiyong Su; Yuelong Zhu; Wenrui Li 002; Bixin Li (RV, 2010)

Generating Test Cases of Composite Services Based on OWL-S and eh-CPN. - Bixin Li; Shunhui Ji; Dong Qiu; Ju Cai (Int. J. Softw. Eng. Knowl. Eng., 2010)

Model and Verification of WS-CDL Based on UML Diagrams. - Pengcheng Zhang 001; Henry Muccini; Yuelong Zhu; Bixin Li (Int. J. Softw. Eng. Knowl. Eng., 2010)

Timed Property Sequence Chart. - Pengcheng Zhang 001; Bixin Li; Lars Grunske (J. Syst. Softw., 2010)

A classification and comparison of model checking software architecture techniques. - Pengcheng Zhang 001; Henry Muccini; Bixin Li (J. Syst. Softw., 2010)

A Technique of Profiling Selective Paths. - Lulu Wang 001; Bixin Li (COMPSAC, 2011)

Ontology-Based Reliability Evaluation for Web Service. - Xifeng Wang; Bixin Li; Li Liao; Chunli Xie (COMPSAC, 2011)

An Effective Approach for Automatic Generation of Class Integration Test Order. - Zhengshan Wang; Bixin Li; Lulu Wang 001; Qiao Li (COMPSAC, 2011)

A Staged Model for Web Service Reliability. - Chunli Xie; Bixin Li; Xifeng Wang (COMPSAC, 2011)

Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing. - Chuanqi Tao; Bixin Li; Jerry Gao 002 (HASE, 2011)

Using Formal Concept Analysis to support change analysis. - Xiaobing Sun 001; Bixin Li (ASE, 2011)

Using lattice of class and method dependence for change impact analysis of object oriented programs. - Xiaobing Sun 001; Bixin Li; Sai Zhang 001; Chuanqi Tao; Xiang Chen 005; Wanzhi Wen (SAC, 2011)

Multithreaded Pointer Analysis Based on Petri Net. - Fei Liu 019; Bixin Li (SEKE, 2011)

A Model-based Approach to Regression Testing of Component-based Software. - Chuanqi Tao; Bixin Li; Jerry Gao 002 (SEKE, 2011)

A Technology of Profiling Inter-procedural Paths. - Lulu Wang 001; Bixin Li (SEKE, 2011)

A Brief Survey on Automatic Integration Test Order Generation. - Zhengshan Wang; Bixin Li; Lulu Wang 001; Qiao Li (SEKE, 2011)

Program slicing spectrum-based software fault localization. - Wanzhi Wen; Bixin Li; Xiaobing Sun 001; Jiakai Li (SEKE, 2011)

A Web Service Reliability Model Based on Birth-Death Process. - Chunli Xie; Bixin Li; Xifeng Wang (SEKE, 2011)

Data Depedency Based Trust Evaluation for BPEL Processes. - Cuicui Liu; Bixin Li; ShanShan Qi; Xiaona Wu; Rui Song (APSEC, 2012)

A Trust Impact Analysis Model for Composite Service Evolution. - ShanShan Qi; Bixin Li; Cuicui Liu; Xiaona Wu; Rui Song (APSEC, 2012)

A Preference and Honesty Aware Trust Model for Web Services. - Rui Song; Bixin Li; Xiaona Wu; Cuicui Liu; ShanShan Qi (APSEC, 2012)

Trust-Based Service Composition and Optimization. - Xiaona Wu; Bixin Li; Rui Song; Cuicui Liu; ShanShan Qi (APSEC, 2012)

A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis. - Xiaobing Sun 001; Bixin Li; Qiandong Zhang (COMPSAC, 2012)

A comparative study of static CIA techniques. - Xiaobing Sun 001; Bin Li 006; Bixin Li; Wanzhi Wen (Internetware, 2012)

A Unified Modeling and Verifying Framework for Cyber Physical Systems. - Xiaoxiang Zhai; Qiaoqiao Chen; Shunhui Ji; Bixin Li (QSIC, 2012)

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. - Jiakai Li; Bixin Li; Qiaoqiao Chen; Min Zhu; Shunhui Ji; Xiaoxiang Zhai (SEKE, 2012)

Using FCA-based Change Impact Analysis for Regression Testing. - Xiaobing Sun 001; Bixin Li; Chuanqi Tao; Qiandong Zhang (SEKE, 2012)

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. - Xiaoxiang Zhai; Bixin Li; Min Zhu; Jiakai Li; Qiaoqiao Chen; Shunhui Ji (SEKE, 2012)

Mining Call Graph for Change Impact Analysis. - Qiandong Zhang; Bixin Li; Xiaobing Sun 001 (SEKE, 2012)

HybridUML Based Verification of CPS Using Differential Dynamic Logic. - Min Zhu; Bixin Li; Jiakai Li; Qiaoqiao Chen; Xiaoxiang Zhai; Shunhui Ji (SEKE, 2012)

Combining concept lattice with call graph for impact analysis. - Bixin Li; Xiaobing Sun 001; Hareton Leung (Adv. Eng. Softw., 2012)

Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph. - Bixin Li; Dong Qiu; Hareton Leung; Di Wang (J. Syst. Softw., 2012)

Profiling all paths: A new profiling technique for both cyclic and acyclic paths. - Bixin Li; Lulu Wang 001; Hareton Leung; Fei Liu 019 (J. Syst. Softw., 2012)

Exploring software engineering data with formal concept analysis. - Xiaobing Sun 001; Ying Chen; Bin Li 006; Bixin Li (DAPSE@ICSE, 2013)

CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization. - Xiaobing Sun 001; Bixin Li; Wanzhi Wen (QSIC, 2013)

WAVE-CIA: a novel CIA approach based on call graph mining. - Bixin Li; Qiandong Zhang; Xiaobing Sun 001; Hareton Leung (SAC, 2013)

ELCD: an efficient online cycle detection technique for pointer analysis. - Fei Liu 019; Lulu Wang 001; Bixin Li (SEKE, 2013)

Testing Configurable Architectures For Component-Based Software Using an Incremental Approach. - Chuanqi Tao; Bixin Li; Jerry Gao 002 (SEKE, 2013)

An empirical analysis of the co-evolution of schema and code in database applications. - Dong Qiu; Bixin Li; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2013)

Monitoring Web Services for Conformance. - Bixin Li; Shunhui Ji; Li Liao; Dong Qiu; Mingjie Sun (SOSE, 2013)

A User-Oriented Trust Model for Web Services. - Bixin Li; Rui Song; Li Liao; Cuicui Liu (SOSE, 2013)

Using water wave propagation phenomenon to study software change impact analysis. - Bixin Li; Qiandong Zhang; Xiaobing Sun 001; Hareton Leung (Adv. Eng. Softw., 2013)

Analyzing Impact Rules of Different Change Types to Support Change Impact Analysis. - Xiaobing Sun 001; Bixin Li; Wanzhi Wen; Sai Zhang 001 (Int. J. Softw. Eng. Knowl. Eng., 2013)

FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs. - Bixin Li; Xiaobing Sun 001; Jacky Keung (Inf. Softw. Technol., 2013)

A Systematic State-Based Approach to Regression Testing of Component Software. - Chuanqi Tao; Bixin Li; Jerry Gao 002 (J. Softw., 2013)

A survey of code-based change impact analysis techniques. - Bixin Li; Xiaobing Sun 001; Hareton Leung; Sai Zhang 001 (Softw. Test. Verification Reliab., 2013)

Verifying the Concurrent Properties in BPEL Based Web Service Composition Process. - Bixin Li; Shunhui Ji; Dong Qiu; Hareton Leung; Gongyuan Zhang (IEEE Trans. Netw. Serv. Manag., 2013)

Profiling selected paths with loops. - Bixin Li; Lulu Wang 001; Hareton Leung (Sci. China Inf. Sci., 2014)

Regression Testing of Web Service: A Systematic Mapping Study. - Dong Qiu; Bixin Li; Shunhui Ji; Hareton K. N. Leung (ACM Comput. Surv., 2014)

SRM: a staged reliability model for Web service. - Chunli Xie; Bixin Li; Hareton Leung (Innov. Syst. Softw. Eng., 2014)

Change impact analysis and changeability assessment for a change proposal: An empirical study ☆☆. - Xiaobing Sun 001; Hareton Leung; Bin Li 006; Bixin Li (J. Syst. Softw., 2014)

PHAT: A Preference and Honesty Aware Trust Model for Web Services. - Bixin Li; Li Liao; Hareton Leung; Rui Song (IEEE Trans. Netw. Serv. Manag., 2014)

Cloud-Based Infrastructure for Mobile Testing as a Service. - Chuanqi Tao; Jerry Gao 002; Bixin Li (CBD, 2015)

Experience report: How do techniques, programs, and tests impact automated program repair? - Xianglong Kong; Lingming Zhang 001; W. Eric Wong; Bixin Li (ISSRE, 2015)

A Model-Based Framework to Support Complexity Analysis Service for Regression Testing of Component-Based Software. - Chuanqi Tao; Jerry Gao 002; Bixin Li (SOSE, 2015)

MSR4SM: Using topic models to effectively mining software repositories for software maintenance tasks. - Xiaobing Sun 001; Bixin Li; Hareton K. N. Leung; Bin Li 006; Yun Li 010 (Inf. Softw. Technol., 2015)

Static change impact analysis techniques: A comparative study. - Xiaobing Sun 001; Bixin Li; Hareton Leung; Bin Li 006; Junwu Zhu (J. Syst. Softw., 2015)

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services. - Shunhui Ji; Bixin Li; Pengcheng Zhang 001 (SCC, 2016)

A Model to Evaluate the Credibility of Service in Cloud Computing Environment. - Li Liao; Bixin Li; Chao Li (DASC/PiCom/DataCom/CyberSciTech, 2016)

A technique to evaluate software evolution based on architecture metric. - Bixin Li; Li Liao; Jingwen Si (SERA, 2016)

Trust analysis of composite service evolution. - Li Liao; ShanShan Qi; Bixin Li (SERA, 2016)

A new method to encode calling contexts with recursions. - Lulu Wang 001; Bixin Li; Hareton Leung (Sci. China Inf. Sci., 2016)

IPSETFUL: an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra. - Xiaobing Sun 001; Xin Peng 001; Bin Li 006; Bixin Li; Wanzhi Wen (Frontiers Comput. Sci., 2016)

The Impact of Information Richness on Fault Localization. - Yan Lei; Min Zhang; Bixin Li; Jingan Ren; Yinhua Jiang (IEICE Trans. Inf. Syst., 2016)

Understanding the API usage in Java. - Dong Qiu; Bixin Li; Hareton Leung (Inf. Softw. Technol., 2016)

Efficient online cycle detection technique combining with Steensgaard points-to information. - Fei Liu 019; Bixin Li; Rupesh Nasre (Softw. Pract. Exp., 2016)

Evaluating Software Architecture Evolution Using Performance Simulation. - Bixin Li; Li Liao; Yi Cheng (ACIT/CSII/BCD, 2017)

Verifying CPS Using DDL. - Ying Zhou; Min Zhu; Xufang Gong; Bixin Li (Intelligent Environments (Workshops), 2017)

Evaluating the credibility of cloud services. - Zecheng Li; Li Liao; Hareton Leung; Bixin Li; Chao Li (Comput. Electr. Eng., 2017)

Modeling and Simulation for Effectiveness Evaluation of Dynamic Discrete Military Supply Chain Networks. - Biao Xiong; Bixin Li; Rong Fan; Qingzhong Zhou; Wu Li (Complex., 2017)

Understanding the syntactic rule usage in java. - Dong Qiu; Bixin Li; Earl T. Barr; Zhendong Su 001 (J. Syst. Softw., 2017)

Clustering Classes in Packages for Program Comprehension. - Xiaobing Sun 001; Xiangyue Liu; Bin Li 006; Bixin Li; David Lo 001; Lingzhi Liao (Sci. Program., 2017)

Verifying CPS for Self-Adaptability. - Ying Zhou; Xufang Gong; Jiakai Li; Bixin Li (ICIS, 2018)

A Framework for CPS Modeling and Verification Based on dL. - Ying Zhou; Xufang Gong; Bixin Li; Min Zhu (ICIS, 2018)

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 (APSEC, 2018)

Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution. - Huihui Liu; Xufang Gong; Li Liao; Bixin Li (COMPSAC (2), 2018)

A Systematic Mapping Study on the Verification of Cyber-Physical Systems. - Pengfei Duan; Ying Zhou; Xufang Gong; Bixin Li (IEEE Access, 2018)

Mining Variable-Method Correlation for Change Impact Analysis. - Chunling Hu; Bixin Li; Xiaobing Sun 001 (IEEE Access, 2018)

Directory-Based Dependency Processing for Software Architecture Recovery. - Xianglong Kong; Bixin Li; Lulu Wang 001; Wensheng Wu (IEEE Access, 2018)

Exploring the Impact of Code Smells on Fine-Grained Structural Change-Proneness. - Huihui Liu; Bixin Li; Yibiao Yang; Wanwangying Ma; Ru Jia (Int. J. Softw. Eng. Knowl. Eng., 2018)

The impacts of techniques, programs and tests on automated program repair: An empirical study. - Xianglong Kong; Lingming Zhang 001; W. Eric Wong; Bixin Li (J. Syst. Softw., 2018)

Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN. - Chunling Hu; Guoqing Geng; Bixin Li; Chao Tang; Xiaofeng Wang (ICSCA, 2019)

Empirical Study of Hybrid Optimization Strategy for Evolutionary Testing. - Chunling Hu; Bixin Li; Xiaofeng Wang; Gang Lv (ICPCSEE (2), 2019)

HiRec: API Recommendation using Hierarchical Context. - Rensong Xie; Xianglong Kong; Lulu Wang 001; Ying Zhou; Bixin Li (ISSRE, 2019)

Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements. - Tong Wang; Bixin Li (QRS, 2019)

A Multilevel Analysis Method for Architecture Erosion. - Tong Wang; Dongdong Wang; Bixin Li (SEKE, 2019)

Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S). - Tong Wang; Yelian Zhang; Xufang Gong; Bixin Li (SEKE, 2019)

Identify MVC architectural pattern based on ontology. - Qiang Yin 009; Lulu Wang 001; Bixin Li (SEKE, 2019)

Identify Blackboard Pattern Based on Ontology. - Lihui Tang; Lulu Wang 001; Bixin Li (TASE, 2019)

Software Multiple-Level Change Detection Based on Two-Step MPAT Matching. - Tong Wang; Dongdong Wang; Ying Zhou; Bixin Li (SANER, 2019)

Accurate Design Pattern Detection Based on Idiomatic Implementation Matching in Java Language Context. - Renhao Xiong; Bixin Li (SANER, 2019)

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service. - Shunhui Ji; Bixin Li; Pengcheng Zhang 001 (IEEE Access, 2019)

Tracking runtime concurrent dependences in java threads using thread control profiling. - Lulu Wang 001; Jingyue Li; Bixin Li (J. Syst. Softw., 2019)

Erratum to "Tracking runtime concurrent dependences in java threads using thread control profiling" [The Journal of Systems and Software 148 (2019) 116-131]. - Lulu Wang 001; Jingyue Li; Bixin Li (J. Syst. Softw., 2019)

Detection of Abnormal Oil Data Based on Feature Selection. - Bixin Li; Rong Fan; Bing Yang; Shigang Lin (Rev. d'Intelligence Artif., 2019)

A Combined Method for Usage of NLP Libraries Towards Analyzing Software Documents. - Xinyun Cheng; Xianglong Kong; Li Liao; Bixin Li (CAiSE, 2020)

An Empirical Investigation into the Effects of Code Comments on Issue Resolution. - Qiwei Song; Xianglong Kong; Lulu Wang 001; Bixin Li (COMPSAC, 2020)

An Analysis of Utility for API Recommendation: Do the Matched Results Have the Same Efforts? - Huidan Li; Rensong Xie; Xianglong Kong; Lulu Wang 001; Bixin Li (QRS, 2020)

A Co-evolutionary Method Between Architecture and Code. - Tong Wang; Bixin Li; Lingyuan Zhu (SEKE, 2020)

Distinguishing Similar Design Pattern Instances through Temporal Behavior Analysis. - Renhao Xiong; David Lo 001; Bixin Li (SANER, 2020)

A Framework for Trustworthy Web Service Composition and Optimization. - Chunling Hu; Xiaona Wu; Bixin Li (IEEE Access, 2020)

An analysis of correctness for API recommendation: are the unmatched results useless? - Xianglong Kong; Weina Han; Li Liao; Bixin Li (Sci. China Inf. Sci., 2020)

Performance Evaluation and Disruption Recovery for Military Supply Chain Network. - Biao Xiong; Rong Fan; Shuai Wang; Bixin Li; Can Wang (Complex., 2020)

Evaluating the trustworthiness of BPEL processes based on data dependency and XBFG. - Chunling Hu; Cuicui Liu; Bixin Li (Int. J. Comput. Sci. Eng., 2020)

Type slicing: An accurate object oriented slicing based on sub-statement level dependence graph. - Lulu Wang 001; Bixin Li; Xianglong Kong (Inf. Softw. Technol., 2020)

ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively. - Zhenyu Pan; Tianyuan Hu; Chen Qian; Bixin Li (QRS, 2021)

SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract. - Tianyuan Hu; Zhenyu Pan; Bixin Li (SEKE, 2021)

Answering Why-Not Questions on GeoSPARQL Queries. - Yin Li; Bixin Li (APWeb/WAIM (2), 2022)

Model Checking the Safety of Raft Leader Election Algorithm. - Qihao Bao; Bixin Li; Tianyuan Hu; Dongyu Cao (QRS, 2022)

PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively. - Jingyuan Cai; Ying Zhou; Tianyuan Hu; Bixin Li (QRS Companion, 2022)

A BiLSTM-Attention Model for Detecting Smart Contract Defects More Accurately. - Chen Qian; Tianyuan Hu; Bixin Li (QRS, 2022)

Can PoW Consensus Protocol Resist the Whale Attack? - Xueyong Sun; Qihao Bao; Bixin Li (QRS, 2022)

An incremental software architecture recovery technique driven by code changes. - Li Wang 096; Xianglong Kong; Jiahui Wang; Bixin Li (Frontiers Inf. Technol. Electron. Eng., 2022)

Software defect prediction employing BiLSTM and BERT-based semantic feature. - Md Nasir Uddin; Bixin Li; Zafar Ali; Pavlos Kefalas; Inayat Khan; Islam Zada (Soft Comput., 2022)

ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically. - Bixin Li; Zhenyu Pan; Tianyuan Hu (IEEE Trans. Reliab., 2022)

CCDetector: Detect Chaincode Vulnerabilities Based on Knowledge Graph. - Xiangfei Xu; Tianyuan Hu; Bixin Li; Li Liao (COMPSAC, 2023)

Evaluating the Resilience of Software Architecture Based on Minimal Path. - Donglin Li; Zixuan Liu; Jiaxin Pan 004; Bixin Li (DSA, 2023)

On Code Reuse from StackOverflow: An Exploratory Study on Jupyter Notebook. - Mingke Yang; Yuming Zhou; Bixin Li; Yutian Tang (CoRR, 2023)

A survey of blockchain consensus safety and security: State-of-the-art, challenges, and future work. - Qihao Bao; Bixin Li; Tianyuan Hu; Xueyong Sun (J. Syst. Softw., 2023)

A Quality-Driven Iterative Evolution Approach for Software Architecture. - Tong Wang; Bixin Li; Lingyuan Zhu (Int. J. Softw. Eng. Knowl. Eng., 2023)

A Hierarchical Model for Quality Evaluation of Mixed Source Software Based on ISO/IEC 25010. - Chunguang Zhang; Bixin Li; Lulu Wang 001; Haixin Xu; Tao Shao (Int. J. Softw. Eng. Knowl. Eng., 2023)

An empirical study of software architecture resilience evaluation methods. - Jiaxin Pan 004; Zixuan Liu; Donglin Li; Lulu Wang 001; Bixin Li (J. Syst. Softw., 2023)

A quality evaluation method for intelligent traffic management system based on business data flow. - Chen Cheng; Bixin Li; Dong Chen (J. Intell. Fuzzy Syst., 2023)

Microservice architecture recovery based on intra-service and inter-service features. - Lulu Wang 001; Peng Hu; Xianglong Kong; Wenjie Ouyang; Bixin Li; Haixin Xu; Tao Shao (J. Syst. Softw., 2023)

Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes. - Mei Han; Lulu Wang 001; Jianming Chang; Bixin Li; Chunguang Zhang (ISSRE, 2024)

Test Case Generation for Access Control Based on UML Activity Diagram. - Ao Fan; Li Liao; Lulu Wang 001; Bixin Li (QRS, 2024)

OTCP-ISVM: Online Test Case Prioritization Based on Incremental Support Vector Machine. - Huaixu Lin; Bixin Li; Liang Liu; Lulu Wang 001; Jianming Chang (QRS, 2024)

Graph-Based Salient Class Classification in Commits. - Jiahao Ren; Jianming Chang; Lulu Wang 001; Zaixing Zhang; Bixin Li (QRS, 2024)

EvoFuzzer: An Evolutionary Fuzzer for Detecting Reentrancy Vulnerability in Smart Contracts. - Bixin Li; Zhenyu Pan; Tianyuan Hu (IEEE Trans. Netw. Sci. Eng., 2024)

A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively. - Hao Chen; Shengyang Zhou; Chen Chen; Zheng Dai; Bixin Li (Int. J. Softw. Eng. Knowl. Eng., 2024)

EsArCost: Estimating repair costs of software architecture erosion using slice technology. - Tong Wang; Bixin Li (J. Syst. Softw., 2024)

Detect Defects of Solidity Smart Contract Based on the Knowledge Graph. - Tianyuan Hu; Bixin Li; Zhenyu Pan; Chen Qian (IEEE Trans. Reliab., 2024)

SoliTester: Detecting exploitable external-risky vulnerability in smart contracts using contract account triggering method. - Tianyuan Hu; Jingyue Li; Xiangfei Xu; Bixin Li (J. Softw. Evol. Process., 2024)

Towards Task-Harmonious Vulnerability Assessment Based on LLM. - Zaixing Zhang; Jianming Chang; Tianyuan Hu; Lulu Wang 001; Bixin Li (ICPC, 2025)

Dynamic information utilization for securing Ethereum smart contracts: A literature review. - Tianyuan Hu; Bixin Li (Inf. Softw. Technol., 2025)

Why Smart Contracts Reported as Vulnerable Were Not Exploited? - Tianyuan Hu; Jingyue Li; Bixin Li; André Storhaug (IEEE Trans. Dependable Secur. Comput., 2025)

Bridging Bug Localization and Issue Fixing: A Hierarchical Localization Framework Leveraging Large Language Models. - Jianming Chang; Xin Zhou 014; Lulu Wang 001; David Lo 001; Bixin Li (CoRR, 2025)

A Method to Evaluate the Credibility of Domain Knowledge Network Using Validated Expert Knowledge. - Yin Li; Ying Zhou; Li Liao; Bixin Li (Int. J. Softw. Eng. Knowl. Eng., 2025)

A privacy-preserving method for cross-chain interoperability using homomorphic encryption. - Dongyu Cao; Bixin Li; Jingyuan Cai (Peer Peer Netw. Appl., 2025)

PonziFinder: Attention-Based Edge-Enhanced Ponzi Contract Detection. - Yingying Chen; Bixin Li; Yan Xiao 002; Xiaoning Du 001 (IEEE Trans. Reliab., 2025)

A Random Mixing Scheme for Protecting Transaction Privacy on Ethereum. - Dongyu Cao; Hao Yin; Bixin Li (J. Comput. Sci. Technol., 2025)

IATT: Interpretation Analysis-based Transferable Test Generation for Convolutional Neural Networks. - Ruilin Xie; Xiang Chen 005; Qifan He; Bixin Li; Zhanqi Cui (ACM Trans. Softw. Eng. Methodol., 2025)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis. - Zhihao Xu; Bixin Li; Lulu Wang 001 (CoRR, 2025)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents. - Jianming Chang; Jieke Shi; Yunbo Lyu; Xin Zhou 014; Lulu Wang 001; Zhou Yang 003; Bixin Li; David Lo 001 (CoRR, 2025)