Bixin Li
Orcid: 0000-0001-9916-4790
According to our database1,
Bixin Li
authored at least 161 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Reliab., March, 2024
EsArCost: Estimating repair costs of software architecture erosion using slice technology.
J. Syst. Softw., February, 2024
A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively.
Int. J. Softw. Eng. Knowl. Eng., February, 2024
2023
Microservice architecture recovery based on intra-service and inter-service features.
J. Syst. Softw., October, 2023
A quality evaluation method for intelligent traffic management system based on business data flow.
J. Intell. Fuzzy Syst., October, 2023
J. Syst. Softw., August, 2023
A Hierarchical Model for Quality Evaluation of Mixed Source Software Based on ISO/IEC 25010.
Int. J. Softw. Eng. Knowl. Eng., February, 2023
Int. J. Softw. Eng. Knowl. Eng., February, 2023
A survey of blockchain consensus safety and security: State-of-the-art, challenges, and future work.
J. Syst. Softw., 2023
CoRR, 2023
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
2022
IEEE Trans. Reliab., 2022
Soft Comput., 2022
Frontiers Inf. Technol. Electron. Eng., 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the Web and Big Data - 6th International Joint Conference, 2022
2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
2020
Type slicing: An accurate object oriented slicing based on sub-statement level dependence graph.
Inf. Softw. Technol., 2020
Int. J. Comput. Sci. Eng., 2020
Complex., 2020
An analysis of correctness for API recommendation: are the unmatched results useless?
Sci. China Inf. Sci., 2020
IEEE Access, 2020
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
An Analysis of Utility for API Recommendation: Do the Matched Results Have the Same Efforts?
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
Proceedings of the Advanced Information Systems Engineering, 2020
2019
Rev. d'Intelligence Artif., 2019
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., 2019
Tracking runtime concurrent dependences in java threads using thread control profiling.
J. Syst. Softw., 2019
Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service.
IEEE Access, 2019
Accurate Design Pattern Detection Based on Idiomatic Implementation Matching in Java Language Context.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
Proceedings of the Data Science, 2019
Proceedings of the 8th International Conference on Software and Computer Applications, 2019
2018
The impacts of techniques, programs and tests on automated program repair: An empirical study.
J. Syst. Softw., 2018
Int. J. Softw. Eng. Knowl. Eng., 2018
IEEE Access, 2018
IEEE Access, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Are Smell-Based Metrics Actually Useful in Effort-Aware Structural Change-Proneness Prediction? An Empirical Study.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018
Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018
2017
Modeling and Simulation for Effectiveness Evaluation of Dynamic Discrete Military Supply Chain Networks.
Complex., 2017
Proceedings of the 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, 2017
2016
Efficient online cycle detection technique combining with Steensgaard points-to information.
Softw. Pract. Exp., 2016
IEICE Trans. Inf. Syst., 2016
IPSETFUL: an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra.
Frontiers Comput. Sci., 2016
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016
Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016
Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services.
Proceedings of the IEEE International Conference on Services Computing, 2016
2015
MSR4SM: Using topic models to effectively mining software repositories for software maintenance tasks.
Inf. Softw. Technol., 2015
A Model-Based Framework to Support Complexity Analysis Service for Regression Testing of Component-Based Software.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015
Experience report: How do techniques, programs, and tests impact automated program repair?
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015
Proceedings of the Third International Conference on Advanced Cloud and Big Data, 2015
2014
IEEE Trans. Netw. Serv. Manag., 2014
Change impact analysis and changeability assessment for a change proposal: An empirical study ☆☆.
J. Syst. Softw., 2014
ACM Comput. Surv., 2014
2013
IEEE Trans. Netw. Serv. Manag., 2013
Softw. Test. Verification Reliab., 2013
J. Softw., 2013
FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs.
Inf. Softw. Technol., 2013
Int. J. Softw. Eng. Knowl. Eng., 2013
Adv. Eng. Softw., 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
An empirical analysis of the co-evolution of schema and code in database applications.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
ELCD: an efficient online cycle detection technique for pointer analysis.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Proceedings of the 1st International Workshop on Data Analysis Patterns in Software Engineering, 2013
2012
J. Syst. Softw., 2012
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph.
J. Syst. Softw., 2012
Adv. Eng. Softw., 2012
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Mining Call Graph for Change Impact Analysis.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Using FCA-based Change Impact Analysis for Regression Testing.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012
A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2011
A Web Service Reliability Model Based on Birth-Death Process.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
Program slicing spectrum-based software fault localization.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
A Brief Survey on Automatic Integration Test Order Generation.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
A Technology of Profiling Inter-procedural Paths.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
A Model-based Approach to Regression Testing of Component-based Software.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
Multithreaded Pointer Analysis Based on Petri Net.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
Using lattice of class and method dependence for change impact analysis of object oriented programs.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
J. Syst. Softw., 2010
Int. J. Softw. Eng. Knowl. Eng., 2010
Int. J. Softw. Eng. Knowl. Eng., 2010
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.
Proceedings of the Runtime Verification - First International Conference, 2010
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010
Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010
A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010
2009
WSTester: Testing Web Service for Behavior Conformance.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
Generating Test Cases of Composite Services Based on OWL-S and EH-CPN.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
Proceedings of the ASE 2009, 2009
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Proceedings of the IEEE International Conference on Systems, 2008
Proceedings of the 2008 IEEE World Congress on Services, 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions.
Proceedings of the Advanced Web and NetworkTechnologies, and Applications, 2008
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008
2007
A service-oriented methodology supporting automatic synthesis and verification of component behavior model.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007
2006
Proceedings of the Seventh International Conference on Software Engineering, 2006
Proceedings of the Software Engineering Techniques: Design for Quality, 2006
2005
Matrix-based component dependence representation and its applications in software quality assurance.
ACM SIGPLAN Notices, 2005
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005
Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow.
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005
2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Inf. Softw. Technol., 2003
2002
ACM SIGSOFT Softw. Eng. Notes, 2002
An Approach for Assessing Software Coupling.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
1999
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999