Bixin Li

188 papers A* 2A 9B 15C 49Misc 3Journal 79Unranked 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
SA.Resilience.Evaluator: Evaluate the Resilience of Software Architecture Based on Attack Surface Analysis.
IEEE Trans. Reliab.
Can Zhao, Jiaxin Pan, Bixin Li
2026 J jnl
ZKVeil: A Privacy-Preserving Compliance Verification Scheme for Blockchain-Enabled Supply Chain Transactions.
IEEE Trans. Inf. Forensics Secur.
Dongyu Cao, Bixin Li, Huijie Zhang, Yong Wang, Lulu Wang
2025 J jnl
A Method to Evaluate the Credibility of Domain Knowledge Network Using Validated Expert Knowledge.
Int. J. Softw. Eng. Knowl. Eng.
Yin Li, Ying Zhou, Li Liao, Bixin Li
2025 J jnl
A Random Mixing Scheme for Protecting Transaction Privacy on Ethereum.
J. Comput. Sci. Technol.
Dongyu Cao, Hao Yin, Bixin Li
2025 C conf
A Software Architecture Resilience Assessment Method via Dynamic Bayesian Networks.
APSEC
Hao Chen, Bixin Li, Chunguang Zhang, Zixuan Liu
2025 J jnl
A privacy-preserving method for cross-chain interoperability using homomorphic encryption.
Peer Peer Netw. Appl.
Dongyu Cao, Bixin Li, Jingyuan Cai
2025 C conf
AutoRCA: A Graph Sequence-based Automatic Root Cause Analysis Method for Microservice Systems through Multimodal Data.
APSEC
Ying Zhou, Yingying Shen, Bixin Li
2025 J jnl
Bridging Bug Localization and Issue Fixing: A Hierarchical Localization Framework Leveraging Large Language Models.
CoRR
Jianming Chang, Xin Zhou, Lulu Wang, David Lo, Bixin Li
2025 J jnl
Dynamic information utilization for securing Ethereum smart contracts: A literature review.
Inf. Softw. Technol.
Tianyuan Hu, Bixin Li
2025 J jnl
How Do Characteristic Parameters Affect the Security of Proof-of-Work Blockchain?
IEEE Trans. Netw. Serv. Manag.
Qihao Bao, Bixin Li, Yujun Wang, Dongyu Cao
2025 J jnl
IATT: Interpretation Analysis-based Transferable Test Generation for Convolutional Neural Networks.
ACM Trans. Softw. Eng. Methodol.
Ruilin Xie, Xiang Chen, Qifan He, Bixin Li, Zhanqi Cui
2025 J jnl
PonziFinder: Attention-Based Edge-Enhanced Ponzi Contract Detection.
IEEE Trans. Reliab.
Yingying Chen, Bixin Li, Yan Xiao, Xiaoning Du
2025 J jnl
Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis.
CoRR
Zhihao Xu, Bixin Li, Lulu Wang
2025 J jnl
SEASONED: Semantic-Enhanced Self-Counterfactual Explainable Detection of Adversarial Exploiter Contracts.
CoRR
Xng Ai, Shudan Lin, Zecheng Li, Kai Zhou, Bixin Li, Bin Xiao
2025 J jnl
SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents.
CoRR
Jianming Chang, Jieke Shi, Yunbo Lyu, Xin Zhou, Lulu Wang, Zhou Yang, Bixin Li, David Lo
2025 J jnl
SeMi_Detector: Multilayer Perceptron-Based Selfish Mining Detection.
Peer Peer Netw. Appl.
Qihao Bao, Bixin Li, Lulu Wang, Li Liao
2025 A conf
Towards Task-Harmonious Vulnerability Assessment Based on LLM.
ICPC
Zaixing Zhang, Jianming Chang, Tianyuan Hu, Lulu Wang, Bixin Li
2025 B conf
TrustFabric: A Privacy-Preserving Method for Hyperledger Fabric Using Trusted Execution Environment.
ICPADS
Dongyu Cao, Bixin Li, Jiahao He, Lulu Wang, Li Liao, Ying Zhou
2025 J jnl
VulFinder: Exploring Chaincode Vulnerabilities More Effectively and Efficiently Using Knowledge Graph Based Defect Pattern Matching.
IEEE Trans. Software Eng.
Bixin Li, Tianyuan Hu, Xiangfei Xu, Lulu Wang
2025 J jnl
Why Smart Contracts Reported as Vulnerable Were Not Exploited?
IEEE Trans. Dependable Secur. Comput.
Tianyuan Hu, Jingyue Li, Bixin Li, André Storhaug
2024 J jnl
A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively.
Int. J. Softw. Eng. Knowl. Eng.
Hao Chen, Shengyang Zhou, Chen Chen, Zheng Dai, Bixin Li
2024 J jnl
Detect Defects of Solidity Smart Contract Based on the Knowledge Graph.
IEEE Trans. Reliab.
Tianyuan Hu, Bixin Li, Zhenyu Pan, Chen Qian
2024 J jnl
EsArCost: Estimating repair costs of software architecture erosion using slice technology.
J. Syst. Softw.
Tong Wang, Bixin Li
2024 J jnl
EvoFuzzer: An Evolutionary Fuzzer for Detecting Reentrancy Vulnerability in Smart Contracts.
IEEE Trans. Netw. Sci. Eng.
Bixin Li, Zhenyu Pan, Tianyuan Hu
2024 C conf
Graph-Based Salient Class Classification in Commits.
QRS
Jiahao Ren, Jianming Chang, Lulu Wang, Zaixing Zhang, Bixin Li
2024 A conf
Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes.
ISSRE
Mei Han, Lulu Wang, Jianming Chang, Bixin Li, Chunguang Zhang
2024 J jnl
Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes.
CoRR
Mei Han, Lulu Wang, Jianming Chang, Bixin Li, Chunguang Zhang
2024 C conf
OTCP-ISVM: Online Test Case Prioritization Based on Incremental Support Vector Machine.
QRS
Huaixu Lin, Bixin Li, Liang Liu, Lulu Wang, Jianming Chang
2024 J jnl
SoliTester: Detecting exploitable external-risky vulnerability in smart contracts using contract account triggering method.
J. Softw. Evol. Process.
Tianyuan Hu, Jingyue Li, Xiangfei Xu, Bixin Li
2024 C conf
Test Case Generation for Access Control Based on UML Activity Diagram.
QRS
Ao Fan, Li Liao, Lulu Wang, Bixin Li
2023 J jnl
A Hierarchical Model for Quality Evaluation of Mixed Source Software Based on ISO/IEC 25010.
Int. J. Softw. Eng. Knowl. Eng.
Chunguang Zhang, Bixin Li, Lulu Wang, Haixin Xu, Tao Shao
2023 J jnl
A Quality-Driven Iterative Evolution Approach for Software Architecture.
Int. J. Softw. Eng. Knowl. Eng.
Tong Wang, Bixin Li, Lingyuan Zhu
2023 J jnl
A quality evaluation method for intelligent traffic management system based on business data flow.
J. Intell. Fuzzy Syst.
Chen Cheng, Bixin Li, Dong Chen
2023 J jnl
A survey of blockchain consensus safety and security: State-of-the-art, challenges, and future work.
J. Syst. Softw.
Qihao Bao, Bixin Li, Tianyuan Hu, Xueyong Sun
2023 J jnl
An empirical study of software architecture resilience evaluation methods.
J. Syst. Softw.
Jiaxin Pan, Zixuan Liu, Donglin Li, Lulu Wang, Bixin Li
2023 B conf
CCDetector: Detect Chaincode Vulnerabilities Based on Knowledge Graph.
COMPSAC
Xiangfei Xu, Tianyuan Hu, Bixin Li, Li Liao
2023 — conf
Evaluating the Resilience of Software Architecture Based on Minimal Path.
DSA
Donglin Li, Zixuan Liu, Jiaxin Pan, Bixin Li
2023 J jnl
Microservice architecture recovery based on intra-service and inter-service features.
J. Syst. Softw.
Lulu Wang, Peng Hu, Xianglong Kong, Wenjie Ouyang, Bixin Li, Haixin Xu, Tao Shao
2023 J jnl
On Code Reuse from StackOverflow: An Exploratory Study on Jupyter Notebook.
CoRR
Mingke Yang, Yuming Zhou, Bixin Li, Yutian Tang
2022 C conf
A BiLSTM-Attention Model for Detecting Smart Contract Defects More Accurately.
QRS
Chen Qian, Tianyuan Hu, Bixin Li
2022 J jnl
An incremental software architecture recovery technique driven by code changes.
Frontiers Inf. Technol. Electron. Eng.
Li Wang, Xianglong Kong, Jiahui Wang, Bixin Li
2022 — conf
Answering Why-Not Questions on GeoSPARQL Queries.
APWeb/WAIM (2)
Yin Li, Bixin Li
2022 C conf
Can PoW Consensus Protocol Resist the Whale Attack?
QRS
Xueyong Sun, Qihao Bao, Bixin Li
2022 C conf
Model Checking the Safety of Raft Leader Election Algorithm.
QRS
Qihao Bao, Bixin Li, Tianyuan Hu, Dongyu Cao
2022 — conf
PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively.
QRS Companion
Jingyuan Cai, Ying Zhou, Tianyuan Hu, Bixin Li
2022 J jnl
ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically.
IEEE Trans. Reliab.
Bixin Li, Zhenyu Pan, Tianyuan Hu
2022 J jnl
Software defect prediction employing BiLSTM and BERT-based semantic feature.
Soft Comput.
Md Nasir Uddin, Bixin Li, Zafar Ali, Pavlos Kefalas, Inayat Khan, Islam Zada
2021 C conf
ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively.
QRS
Zhenyu Pan, Tianyuan Hu, Chen Qian, Bixin Li
2021 C conf
SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract.
SEKE
Tianyuan Hu, Zhenyu Pan, Bixin Li
2020 C conf
A Co-evolutionary Method Between Architecture and Code.
SEKE
Tong Wang, Bixin Li, Lingyuan Zhu
2020 A conf
A Combined Method for Usage of NLP Libraries Towards Analyzing Software Documents.
CAiSE
Xinyun Cheng, Xianglong Kong, Li Liao, Bixin Li
2020 J jnl
A Framework for Trustworthy Web Service Composition and Optimization.
IEEE Access
Chunling Hu, Xiaona Wu, Bixin Li
2020 C conf
An Analysis of Utility for API Recommendation: Do the Matched Results Have the Same Efforts?
QRS
Huidan Li, Rensong Xie, Xianglong Kong, Lulu Wang, Bixin Li
2020 B conf
An Empirical Investigation into the Effects of Code Comments on Issue Resolution.
COMPSAC
Qiwei Song, Xianglong Kong, Lulu Wang, Bixin Li
2020 J jnl
An analysis of correctness for API recommendation: are the unmatched results useless?
Sci. China Inf. Sci.
Xianglong Kong, Weina Han, Li Liao, Bixin Li
2020 A conf
Distinguishing Similar Design Pattern Instances through Temporal Behavior Analysis.
SANER
Renhao Xiong, David Lo, Bixin Li
2020 J jnl
Evaluating the trustworthiness of BPEL processes based on data dependency and XBFG.
Int. J. Comput. Sci. Eng.
Chunling Hu, Cuicui Liu, Bixin Li
2020 J jnl
Performance Evaluation and Disruption Recovery for Military Supply Chain Network.
Complex.
Biao Xiong, Rong Fan, Shuai Wang, Bixin Li, Can Wang
2020 J jnl
Type slicing: An accurate object oriented slicing based on sub-statement level dependence graph.
Inf. Softw. Technol.
Lulu Wang, Bixin Li, Xianglong Kong
2019 C conf
A Multilevel Analysis Method for Architecture Erosion.
SEKE
Tong Wang, Dongdong Wang, Bixin Li
2019 A conf
Accurate Design Pattern Detection Based on Idiomatic Implementation Matching in Java Language Context.
SANER
Renhao Xiong, Bixin Li
2019 C conf
Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements.
QRS
Tong Wang, Bixin Li
2019 J jnl
Detection of Abnormal Oil Data Based on Feature Selection.
Rev. d'Intelligence Artif.
Bixin Li, Rong Fan, Bing Yang, Shigang Lin
2019 — conf
Empirical Study of Hybrid Optimization Strategy for Evolutionary Testing.
ICPCSEE (2)
Chunling Hu, Bixin Li, Xiaofeng Wang, Gang Lv
2019 J jnl
Erratum to "Tracking runtime concurrent dependences in java threads using thread control profiling" [The Journal of Systems and Software 148 (2019) 116-131].
J. Syst. Softw.
Lulu Wang, Jingyue Li, Bixin Li
2019 A conf
HiRec: API Recommendation using Hierarchical Context.
ISSRE
Rensong Xie, Xianglong Kong, Lulu Wang, Ying Zhou, Bixin Li
2019 Misc conf
Identify Blackboard Pattern Based on Ontology.
TASE
Lihui Tang, Lulu Wang, Bixin Li
2019 C conf
Identify MVC architectural pattern based on ontology.
SEKE
Qiang Yin, Lulu Wang, Bixin Li
2019 C conf
Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S).
SEKE
Tong Wang, Yelian Zhang, Xufang Gong, Bixin Li
2019 A conf
Software Multiple-Level Change Detection Based on Two-Step MPAT Matching.
SANER
Tong Wang, Dongdong Wang, Ying Zhou, Bixin Li
2019 J jnl
Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service.
IEEE Access
Shunhui Ji, Bixin Li, Pengcheng Zhang
2019 J jnl
Tracking runtime concurrent dependences in java threads using thread control profiling.
J. Syst. Softw.
Lulu Wang, Jingyue Li, Bixin Li
2019 — conf
Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN.
ICSCA
Chunling Hu, Guoqing Geng, Bixin Li, Chao Tang, Xiaofeng Wang
2018 C conf
A Framework for CPS Modeling and Verification Based on dL.
ICIS
Ying Zhou, Xufang Gong, Bixin Li, Min Zhu
2018 J jnl
A Systematic Mapping Study on the Verification of Cyber-Physical Systems.
IEEE Access
Pengfei Duan, Ying Zhou, Xufang Gong, Bixin Li
2018 C conf
Are Smell-Based Metrics Actually Useful in Effort-Aware Structural Change-Proneness Prediction? An Empirical Study.
APSEC
Huihui Liu, Yijun Yu, Bixin Li, Yibiao Yang, Ru Jia
2018 J jnl
Directory-Based Dependency Processing for Software Architecture Recovery.
IEEE Access
Xianglong Kong, Bixin Li, Lulu Wang, Wensheng Wu
2018 — conf
Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution.
COMPSAC (2)
Huihui Liu, Xufang Gong, Li Liao, Bixin Li
2018 J jnl
Exploring the Impact of Code Smells on Fine-Grained Structural Change-Proneness.
Int. J. Softw. Eng. Knowl. Eng.
Huihui Liu, Bixin Li, Yibiao Yang, Wanwangying Ma, Ru Jia
2018 J jnl
Mining Variable-Method Correlation for Change Impact Analysis.
IEEE Access
Chunling Hu, Bixin Li, Xiaobing Sun
2018 J jnl
The impacts of techniques, programs and tests on automated program repair: An empirical study.
J. Syst. Softw.
Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li
2018 C conf
Verifying CPS for Self-Adaptability.
ICIS
Ying Zhou, Xufang Gong, Jiakai Li, Bixin Li
2017 J jnl
Clustering Classes in Packages for Program Comprehension.
Sci. Program.
Xiaobing Sun, Xiangyue Liu, Bin Li, Bixin Li, David Lo, Lingzhi Liao
2017 — conf
Evaluating Software Architecture Evolution Using Performance Simulation.
ACIT/CSII/BCD
Bixin Li, Li Liao, Yi Cheng
2017 J jnl
Evaluating the credibility of cloud services.
Comput. Electr. Eng.
Zecheng Li, Li Liao, Hareton Leung, Bixin Li, Chao Li
2017 J jnl
Modeling and Simulation for Effectiveness Evaluation of Dynamic Discrete Military Supply Chain Networks.
Complex.
Biao Xiong, Bixin Li, Rong Fan, Qingzhong Zhou, Wu Li
2017 J jnl
Understanding the syntactic rule usage in java.
J. Syst. Softw.
Dong Qiu, Bixin Li, Earl T. Barr, Zhendong Su
2017 B conf
Verifying CPS Using DDL.
Intelligent Environments (Workshops)
Ying Zhou, Min Zhu, Xufang Gong, Bixin Li
2016 — conf
A Model to Evaluate the Credibility of Service in Cloud Computing Environment.
DASC/PiCom/DataCom/CyberSciTech
Li Liao, Bixin Li, Chao Li
2016 J jnl
A new method to encode calling contexts with recursions.
Sci. China Inf. Sci.
Lulu Wang, Bixin Li, Hareton Leung
2016 C conf
A technique to evaluate software evolution based on architecture metric.
SERA
Bixin Li, Li Liao, Jingwen Si
2016 J jnl
Efficient online cycle detection technique combining with Steensgaard points-to information.
Softw. Pract. Exp.
Fei Liu, Bixin Li, Rupesh Nasre
2016 J jnl
IPSETFUL: an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra.
Frontiers Comput. Sci.
Xiaobing Sun, Xin Peng, Bin Li, Bixin Li, Wanzhi Wen
2016 — conf
Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services.
SCC
Shunhui Ji, Bixin Li, Pengcheng Zhang
2016 J jnl
The Impact of Information Richness on Fault Localization.
IEICE Trans. Inf. Syst.
Yan Lei, Min Zhang, Bixin Li, Jingan Ren, Yinhua Jiang
2016 C conf
Trust analysis of composite service evolution.
SERA
Li Liao, Shanshan Qi, Bixin Li
2016 J jnl
Understanding the API usage in Java.
Inf. Softw. Technol.
Dong Qiu, Bixin Li, Hareton Leung
2015 — conf
A Model-Based Framework to Support Complexity Analysis Service for Regression Testing of Component-Based Software.
SOSE
Chuanqi Tao, Jerry Gao, Bixin Li
2015 — conf
Cloud-Based Infrastructure for Mobile Testing as a Service.
CBD
Chuanqi Tao, Jerry Gao, Bixin Li
2015 A conf
Experience report: How do techniques, programs, and tests impact automated program repair?
ISSRE
Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li
2015 J jnl
MSR4SM: Using topic models to effectively mining software repositories for software maintenance tasks.
Inf. Softw. Technol.
Xiaobing Sun, Bixin Li, Hareton K. N. Leung, Bin Li, Yun Li
2015 J jnl
Static change impact analysis techniques: A comparative study.
J. Syst. Softw.
Xiaobing Sun, Bixin Li, Hareton Leung, Bin Li, Junwu Zhu
2014 J jnl
Change impact analysis and changeability assessment for a change proposal: An empirical study ☆☆.
J. Syst. Softw.
Xiaobing Sun, Hareton Leung, Bin Li, Bixin Li
2014 J jnl
PHAT: A Preference and Honesty Aware Trust Model for Web Services.
IEEE Trans. Netw. Serv. Manag.
Bixin Li, Li Liao, Hareton Leung, Rui Song
2014 J jnl
Profiling selected paths with loops.
Sci. China Inf. Sci.
Bixin Li, Lulu Wang, Hareton Leung
2014 J jnl
Regression Testing of Web Service: A Systematic Mapping Study.
ACM Comput. Surv.
Dong Qiu, Bixin Li, Shunhui Ji, Hareton K. N. Leung
2014 J jnl
SRM: a staged reliability model for Web service.
Innov. Syst. Softw. Eng.
Chunli Xie, Bixin Li, Hareton Leung
2013 J jnl
A Systematic State-Based Approach to Regression Testing of Component Software.
J. Softw.
Chuanqi Tao, Bixin Li, Jerry Gao
2013 — conf
A User-Oriented Trust Model for Web Services.
SOSE
Bixin Li, Rui Song, Li Liao, Cuicui Liu
2013 J jnl
A survey of code-based change impact analysis techniques.
Softw. Test. Verification Reliab.
Bixin Li, Xiaobing Sun, Hareton Leung, Sai Zhang
2013 — conf
An empirical analysis of the co-evolution of schema and code in database applications.
ESEC/SIGSOFT FSE
Dong Qiu, Bixin Li, Zhendong Su
2013 J jnl
Analyzing Impact Rules of Different Change Types to Support Change Impact Analysis.
Int. J. Softw. Eng. Knowl. Eng.
Xiaobing Sun, Bixin Li, Wanzhi Wen, Sai Zhang
2013 — conf
CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization.
QSIC
Xiaobing Sun, Bixin Li, Wanzhi Wen
2013 C conf
ELCD: an efficient online cycle detection technique for pointer analysis.
SEKE
Fei Liu, Lulu Wang, Bixin Li
2013 — conf
Exploring software engineering data with formal concept analysis.
DAPSE@ICSE
Xiaobing Sun, Ying Chen, Bin Li, Bixin Li
2013 J jnl
FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs.
Inf. Softw. Technol.
Bixin Li, Xiaobing Sun, Jacky Keung
2013 — conf
Monitoring Web Services for Conformance.
SOSE
Bixin Li, Shunhui Ji, Li Liao, Dong Qiu, Mingjie Sun
2013 C conf
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach.
SEKE
Chuanqi Tao, Bixin Li, Jerry Gao
2013 J jnl
Using water wave propagation phenomenon to study software change impact analysis.
Adv. Eng. Softw.
Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung
2013 J jnl
Verifying the Concurrent Properties in BPEL Based Web Service Composition Process.
IEEE Trans. Netw. Serv. Manag.
Bixin Li, Shunhui Ji, Dong Qiu, Hareton Leung, Gongyuan Zhang
2013 Misc conf
WAVE-CIA: a novel CIA approach based on call graph mining.
SAC
Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung
2012 B conf
A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis.
COMPSAC
Xiaobing Sun, Bixin Li, Qiandong Zhang
2012 C conf
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.
SEKE
Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai
2012 C conf
A Preference and Honesty Aware Trust Model for Web Services.
APSEC
Rui Song, Bixin Li, Xiaona Wu, Cuicui Liu, Shanshan Qi
2012 C conf
A Trust Impact Analysis Model for Composite Service Evolution.
APSEC
Shanshan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song
2012 — conf
A Unified Modeling and Verifying Framework for Cyber Physical Systems.
QSIC
Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li
2012 — conf
A comparative study of static CIA techniques.
Internetware
Xiaobing Sun, Bin Li, Bixin Li, Wanzhi Wen
2012 J jnl
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph.
J. Syst. Softw.
Bixin Li, Dong Qiu, Hareton Leung, Di Wang
2012 J jnl
Combining concept lattice with call graph for impact analysis.
Adv. Eng. Softw.
Bixin Li, Xiaobing Sun, Hareton Leung
2012 C conf
Data Depedency Based Trust Evaluation for BPEL Processes.
APSEC
Cuicui Liu, Bixin Li, Shanshan Qi, Xiaona Wu, Rui Song
2012 C conf
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
SEKE
Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji
2012 C conf
Mining Call Graph for Change Impact Analysis.
SEKE
Qiandong Zhang, Bixin Li, Xiaobing Sun
2012 J jnl
Profiling all paths: A new profiling technique for both cyclic and acyclic paths.
J. Syst. Softw.
Bixin Li, Lulu Wang, Hareton Leung, Fei Liu
2012 C conf
Trust-Based Service Composition and Optimization.
APSEC
Xiaona Wu, Bixin Li, Rui Song, Cuicui Liu, Shanshan Qi
2012 C conf
Using FCA-based Change Impact Analysis for Regression Testing.
SEKE
Xiaobing Sun, Bixin Li, Chuanqi Tao, Qiandong Zhang
2012 C conf
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
SEKE
Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji
2011 C conf
A Brief Survey on Automatic Integration Test Order Generation.
SEKE
Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li
2011 C conf
A Model-based Approach to Regression Testing of Component-based Software.
SEKE
Chuanqi Tao, Bixin Li, Jerry Gao
2011 B conf
A Staged Model for Web Service Reliability.
COMPSAC
Chunli Xie, Bixin Li, Xifeng Wang
2011 B conf
A Technique of Profiling Selective Paths.
COMPSAC
Lulu Wang, Bixin Li
2011 C conf
A Technology of Profiling Inter-procedural Paths.
SEKE
Lulu Wang, Bixin Li
2011 C conf
A Web Service Reliability Model Based on Birth-Death Process.
SEKE
Chunli Xie, Bixin Li, Xifeng Wang
2011 B conf
An Effective Approach for Automatic Generation of Class Integration Test Order.
COMPSAC
Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li
2011 C conf
Multithreaded Pointer Analysis Based on Petri Net.
SEKE
Fei Liu, Bixin Li
2011 B conf
Ontology-Based Reliability Evaluation for Web Service.
COMPSAC
Xifeng Wang, Bixin Li, Li Liao, Chunli Xie
2011 C conf
Program slicing spectrum-based software fault localization.
SEKE
Wanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li
2011 — conf
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing.
HASE
Chuanqi Tao, Bixin Li, Jerry Gao
2011 A* conf
Using Formal Concept Analysis to support change analysis.
ASE
Xiaobing Sun, Bixin Li
2011 Misc conf
Using lattice of class and method dependence for change impact analysis of object oriented programs.
SAC
Xiaobing Sun, Bixin Li, Sai Zhang, Chuanqi Tao, Xiang Chen, Wanzhi Wen
2010 C conf
A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs.
APSEC
Chuanqi Tao, Bixin Li, Xiaobing Sun, Ying Zhou
2010 C conf
A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification.
APSCC
Gongyuan Zhang, Bixin Li
2010 J jnl
A classification and comparison of model checking software architecture techniques.
J. Syst. Softw.
Pengcheng Zhang, Henry Muccini, Bixin Li
2010 — conf
An Approach to Regression Test Selection Based on Hierarchical Slicing Technique.
COMPSAC Workshops
Chuanqi Tao, Bixin Li, Xiaobing Sun, Chongfeng Zhang
2010 — conf
An Optimization Strategy for Evolutionary Testing Based on Cataclysm.
COMPSAC Workshops
Meng Wang, Bixin Li, Zhengshan Wang, Xiaoyuan Xie
2010 — conf
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph.
ICSM
Bixin Li, Dong Qiu, Shunhui Ji, Di Wang
2010 B conf
Change Impact Analysis Based on a Taxonomy of Change Types.
COMPSAC
Xiaobing Sun, Bixin Li, Chuanqi Tao, Wanzhi Wen, Sai Zhang
2010 C conf
Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture.
APSEC
Bixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su
2010 J jnl
Generating Test Cases of Composite Services Based on OWL-S and eh-CPN.
Int. J. Softw. Eng. Knowl. Eng.
Bixin Li, Shunhui Ji, Dong Qiu, Ju Cai
2010 J jnl
Model and Verification of WS-CDL Based on UML Diagrams.
Int. J. Softw. Eng. Knowl. Eng.
Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li
2010 J jnl
Timed Property Sequence Chart.
J. Syst. Softw.
Pengcheng Zhang, Bixin Li, Lars Grunske
2010 — conf
Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem.
COMPSAC Workshops
Zhengshan Wang, Bixin Li, Lulu Wang, Meng Wang, Xufang Gong
2010 B conf
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.
RV
Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li
2009 A* conf
A Formal Syntax for Probabilistic Timed Property Sequence Charts.
ASE
Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li
2009 C conf
Generating Test Cases of Composite Services Based on OWL-S and EH-CPN.
SEKE
Bixin Li, Ju Cai, Dong Qiu, Shunhui Ji, Yuting Jiang
2009 C conf
Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition.
APSEC
Bixin Li, Yu Zhou, Jun Pang
2009 — conf
Monitoring BPEL-Based Web Service Composition Using AOP.
ACIS-ICIS
Mingjie Sun, Bixin Li, Pengcheng Zhang
2009 C conf
WSTester: Testing Web Service for Behavior Conformance.
SEKE
Bixin Li, Lili Yang, Shunhui Ji, Dong Qiu, Xufang Gong
2008 B conf
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
COMPSAC
Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong
2008 — conf
A Timed Extension of Property Sequence Chart.
HASE
Pengcheng Zhang, Bixin Li, Mingjie Sun
2008 B conf
A user-oriented Web service reliability model.
SMC
Bixin Li, Zhiyong Su, Ying Zhou, Xufang Gong
2008 — conf
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions.
APWeb Workshops
Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun
2008 A conf
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
ICWS
Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun
2008 C conf
Extending PSC for Monitoring the Timed Properties in Composite Services.
APSEC
Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun
2008 — conf
Regression Testing of Composite Service: An XBFG-Based Approach.
SERVICES II
Di Wang, Bixin Li, Ju Cai
2007 C conf
A Formal Model for Web Service Composition and Its Application Analysis.
APSCC
Bixin Li, Yu Zhou, Ying Zhou, Xufang Gong
2007 — conf
A service-oriented methodology supporting automatic synthesis and verification of component behavior model.
SNPD (1)
Pengcheng Zhang, Yu Zhou, Bixin Li
2007 — conf
On Testing Multi-threaded Java Programs.
SNPD (1)
Xufang Gong, Yanchen Wang, Ying Zhou, Bixin Li
2006 C conf
An Extension to Robustness Slicing Algorithm Based on Dynamic Array.
SNPD
Yancheng Wang, Bixin Li, Xufang Gong
2006 — conf
An Integrated Regression Testing Framework to Multi-Threaded Java Programs.
SET
Bixin Li, Yancheng Wang, Lili Yang
2005 C conf
A Study of Model Layers and Reflection.
SNPD
Ying Zhou, Bixin Li
2005 C conf
Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow.
SNPD
Bixin Li, Ying Zhou, Junhui Mo, Yancheng Wang
2005 J jnl
Matrix-based component dependence representation and its applications in software quality assurance.
ACM SIGPLAN Notices
Bixin Li, Ying Zhou, Yancheng Wang, Junhui Mo
2004 J jnl
Model for Slicing JAVA Programs Hierarchically.
J. Comput. Sci. Technol.
Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao
2004 B conf
Modular Monadic Program Slicing.
COMPSAC
Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang
2003 J jnl
A technique to analyze information-flow in object-oriented programs.
Inf. Softw. Technol.
Bixin Li
2002 B conf
An Approach for Assessing Software Coupling.
APLAS
Bixin Li
2002 J jnl
Analyzing information-flow in java program based on slicing technique.
ACM SIGSOFT Softw. Eng. Notes
Bixin Li
1999 — conf
A Formal Software Development Approach Based on COOZ and Refinement Calculus.
TOOLS (31)
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng