Bixin Li

According to our database1, Bixin Li authored at least 112 papers between 1999 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
The impacts of techniques, programs and tests on automated program repair: An empirical study.
Journal of Systems and Software, 2018

Exploring the Impact of Code Smells on Fine-Grained Structural Change-Proneness.
International Journal of Software Engineering and Knowledge Engineering, 2018

Directory-Based Dependency Processing for Software Architecture Recovery.
IEEE Access, 2018

A Systematic Mapping Study on the Verification of Cyber-Physical Systems.
IEEE Access, 2018

Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

A Framework for CPS Modeling and Verification Based on dL.
Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

Verifying CPS for Self-Adaptability.
Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

2017
Clustering Classes in Packages for Program Comprehension.
Scientific Programming, 2017

Understanding the syntactic rule usage in java.
Journal of Systems and Software, 2017

Modeling and Simulation for Effectiveness Evaluation of Dynamic Discrete Military Supply Chain Networks.
Complexity, 2017

Evaluating the credibility of cloud services.
Computers & Electrical Engineering, 2017

Verifying CPS Using DDL.
Proceedings of the Intelligent Environments 2017, 2017

2016
Efficient online cycle detection technique combining with Steensgaard points-to information.
Softw., Pract. Exper., 2016

Understanding the API usage in Java.
Information & Software Technology, 2016

The Impact of Information Richness on Fault Localization.
IEICE Transactions, 2016

IPSETFUL: an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra.
Frontiers Comput. Sci., 2016

A new method to encode calling contexts with recursions.
SCIENCE CHINA Information Sciences, 2016

Trust analysis of composite service evolution.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

A technique to evaluate software evolution based on architecture metric.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

A Model to Evaluate the Credibility of Service in Cloud Computing Environment.
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
Static change impact analysis techniques: A comparative study.
Journal of Systems and Software, 2015

MSR4SM: Using topic models to effectively mining software repositories for software maintenance tasks.
Information & Software Technology, 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

Cloud-Based Infrastructure for Mobile Testing as a Service.
Proceedings of the Third International Conference on Advanced Cloud and Big Data, 2015

2014
PHAT: A Preference and Honesty Aware Trust Model for Web Services.
IEEE Trans. Network and Service Management, 2014

Change impact analysis and changeability assessment for a change proposal: An empirical study ☆☆.
Journal of Systems and Software, 2014

SRM: a staged reliability model for Web service.
ISSE, 2014

Regression Testing of Web Service: A Systematic Mapping Study.
ACM Comput. Surv., 2014

Profiling selected paths with loops.
SCIENCE CHINA Information Sciences, 2014

2013
Verifying the Concurrent Properties in BPEL Based Web Service Composition Process.
IEEE Trans. Network and Service Management, 2013

A survey of code-based change impact analysis techniques.
Softw. Test., Verif. Reliab., 2013

A Systematic State-Based Approach to Regression Testing of Component Software.
JSW, 2013

FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs.
Information & Software Technology, 2013

Analyzing Impact Rules of Different Change Types to Support Change Impact Analysis.
International Journal of Software Engineering and Knowledge Engineering, 2013

Using water wave propagation phenomenon to study software change impact analysis.
Advances in Engineering Software, 2013

A User-Oriented Trust Model for Web Services.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Monitoring Web Services for Conformance.
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

WAVE-CIA: a novel CIA approach based on call graph mining.
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

Exploring software engineering data with formal concept analysis.
Proceedings of the 1st International Workshop on Data Analysis Patterns in Software Engineering, 2013

2012
Profiling all paths: A new profiling technique for both cyclic and acyclic paths.
Journal of Systems and Software, 2012

Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph.
Journal of Systems and Software, 2012

Combining concept lattice with call graph for impact analysis.
Advances in Engineering Software, 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

A Unified Modeling and Verifying Framework for Cyber Physical Systems.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

A comparative study of static CIA techniques.
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

Trust-Based Service Composition and Optimization.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Preference and Honesty Aware Trust Model for Web Services.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Trust Impact Analysis Model for Composite Service Evolution.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Data Depedency Based Trust Evaluation for BPEL Processes.
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

Using Formal Concept Analysis to support change analysis.
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

A Staged Model for Web Service Reliability.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

An Effective Approach for Automatic Generation of Class Integration Test Order.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Ontology-Based Reliability Evaluation for Web Service.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

A Technique of Profiling Selective Paths.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
A classification and comparison of model checking software architecture techniques.
Journal of Systems and Software, 2010

Timed Property Sequence Chart.
Journal of Systems and Software, 2010

Model and Verification of WS-CDL Based on UML Diagrams.
International Journal of Software Engineering and Knowledge Engineering, 2010

Generating Test Cases of Composite Services Based on OWL-S and eh-CPN.
International Journal of Software Engineering and Knowledge Engineering, 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

An Optimization Strategy for Evolutionary Testing Based on Cataclysm.
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

An Approach to Regression Test Selection Based on Hierarchical Slicing Technique.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Change Impact Analysis Based on a Taxonomy of Change Types.
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

A Formal Syntax for Probabilistic Timed Property Sequence Charts.
Proceedings of the ASE 2009, 2009

Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Monitoring BPEL-Based Web Service Composition Using AOP.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
A user-oriented Web service reliability model.
Proceedings of the IEEE International Conference on Systems, 2008

Regression Testing of Composite Service: An XBFG-Based Approach.
Proceedings of the 2008 IEEE World Congress on Services, 2008

Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Timed Extension of Property Sequence Chart.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
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

Extending PSC for Monitoring the Timed Properties in Composite Services.
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

On Testing Multi-threaded Java Programs.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

A Formal Model for Web Service Composition and Its Application Analysis.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006
An Extension to Robustness Slicing Algorithm Based on Dynamic Array.
Proceedings of the Seventh International Conference on Software Engineering, 2006

An Integrated Regression Testing Framework to Multi-Threaded Java Programs.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005
Matrix-based component dependence representation and its applications in software quality assurance.
SIGPLAN Notices, 2005

A Study of Model Layers and Reflection.
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
Model for Slicing JAVA Programs Hierarchically.
J. Comput. Sci. Technol., 2004

Modular Monadic Program Slicing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
A technique to analyze information-flow in object-oriented programs.
Information & Software Technology, 2003

2002
Analyzing information-flow in java program based on slicing technique.
ACM SIGSOFT Software Engineering Notes, 2002

An Approach for Assessing Software Coupling.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

1999
A Formal Software Development Approach Based on COOZ and Refinement Calculus.
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999


  Loading...