Bixin Li

Jingyue Li

J. Syst. Softw., 2019

Tracking runtime concurrent dependences in java threads using thread control profiling.

[BibT_eX]

[DOI]

Jingyue Li

J. Syst. Softw., 2019

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service.

[BibT_eX]

[DOI]

Shunhui Ji

IEEE Access, 2019

Accurate Design Pattern Detection Based on Idiomatic Implementation Matching in Java Language Context.

[BibT_eX]

[DOI]

Renhao Xiong

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Software Multiple-Level Change Detection Based on Two-Step MPAT Matching.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Identify Blackboard Pattern Based on Ontology.

[BibT_eX]

[DOI]

Lihui Tang

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Identify MVC architectural pattern based on ontology.

[BibT_eX]

[DOI]

Qiang Yin

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).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Multilevel Analysis Method for Architecture Erosion.

[BibT_eX]

[DOI]

Tong Wang

Dongdong Wang

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements.

[BibT_eX]

[DOI]

Tong Wang

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

HiRec: API Recommendation using Hierarchical Context.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Empirical Study of Hybrid Optimization Strategy for Evolutionary Testing.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2019

Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Exploring the Impact of Code Smells on Fine-Grained Structural Change-Proneness.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2018

Directory-Based Dependency Processing for Software Architecture Recovery.

[BibT_eX]

[DOI]

IEEE Access, 2018

Mining Variable-Method Correlation for Change Impact Analysis.

[BibT_eX]

[DOI]

Chunling Hu

IEEE Access, 2018

A Systematic Mapping Study on the Verification of Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Access, 2018

Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

A Framework for CPS Modeling and Verification Based on dL.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

Verifying CPS for Self-Adaptability.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

2017

Clustering Classes in Packages for Program Comprehension.

[BibT_eX]

[DOI]

Sci. Program., 2017

Understanding the syntactic rule usage in java.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

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

[BibT_eX]

[DOI]

Complex., 2017

Evaluating the credibility of cloud services.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2017

Verifying CPS Using DDL.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2017, 2017

Evaluating Software Architecture Evolution Using Performance Simulation.

[BibT_eX]

[DOI]

Yi Cheng

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.

[BibT_eX]

[DOI]

Fei Liu

Rupesh Nasre

Softw. Pract. Exp., 2016

Understanding the API usage in Java.

[BibT_eX]

[DOI]

Dong Qiu

Inf. Softw. Technol., 2016

The Impact of Information Richness on Fault Localization.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2016

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

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2016

A new method to encode calling contexts with recursions.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

Trust analysis of composite service evolution.

[BibT_eX]

[DOI]

ShanShan Qi

Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

A technique to evaluate software evolution based on architecture metric.

[BibT_eX]

[DOI]

Jingwen Si

Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

A Model to Evaluate the Credibility of Service in Cloud Computing Environment.

[BibT_eX]

[DOI]

Chao Li

Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services.

[BibT_eX]

[DOI]

Shunhui Ji

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Static change impact analysis techniques: A comparative study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

MSR4SM: Using topic models to effectively mining software repositories for software maintenance tasks.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

A Model-Based Framework to Support Complexity Analysis Service for Regression Testing of Component-Based Software.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Experience report: How do techniques, programs, and tests impact automated program repair?

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Cloud-Based Infrastructure for Mobile Testing as a Service.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2014

Change impact analysis and changeability assessment for a change proposal: An empirical study ☆☆.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

SRM: a staged reliability model for Web service.

[BibT_eX]

[DOI]

Chunli Xie

Innov. Syst. Softw. Eng., 2014

Regression Testing of Web Service: A Systematic Mapping Study.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2014

Profiling selected paths with loops.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

2013

Verifying the Concurrent Properties in BPEL Based Web Service Composition Process.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2013

A survey of code-based change impact analysis techniques.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2013

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

[BibT_eX]

[DOI]

J. Softw., 2013

FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs.

[BibT_eX]

[DOI]

Jacky Keung

Inf. Softw. Technol., 2013

Analyzing Impact Rules of Different Change Types to Support Change Impact Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2013

Using water wave propagation phenomenon to study software change impact analysis.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2013

A User-Oriented Trust Model for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Monitoring Web Services for Conformance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dong Qiu

Zhendong Su

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.

[BibT_eX]

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

ELCD: an efficient online cycle detection technique for pointer analysis.

[BibT_eX]

Fei Liu

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

WAVE-CIA: a novel CIA approach based on call graph mining.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization.

[BibT_eX]

[DOI]

Wanzhi Wen

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Exploring software engineering data with formal concept analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Combining concept lattice with call graph for impact analysis.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2012

HybridUML Based Verification of CPS Using Differential Dynamic Logic.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Mining Call Graph for Change Impact Analysis.

[BibT_eX]

Qiandong Zhang

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.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Using FCA-based Change Impact Analysis for Regression Testing.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A Unified Modeling and Verifying Framework for Cyber Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

A comparative study of static CIA techniques.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis.

[BibT_eX]

[DOI]

Qiandong Zhang

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Trust-Based Service Composition and Optimization.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Preference and Honesty Aware Trust Model for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Trust Impact Analysis Model for Composite Service Evolution.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Data Depedency Based Trust Evaluation for BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

A Web Service Reliability Model Based on Birth-Death Process.

[BibT_eX]

Chunli Xie

Xifeng Wang

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Program slicing spectrum-based software fault localization.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A Brief Survey on Automatic Integration Test Order Generation.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A Technology of Profiling Inter-procedural Paths.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Multithreaded Pointer Analysis Based on Petri Net.

[BibT_eX]

Fei Liu

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.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Using Formal Concept Analysis to support change analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Staged Model for Web Service Reliability.

[BibT_eX]

[DOI]

Chunli Xie

Xifeng Wang

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

An Effective Approach for Automatic Generation of Class Integration Test Order.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Ontology-Based Reliability Evaluation for Web Service.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

A Technique of Profiling Selective Paths.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

A classification and comparison of model checking software architecture techniques.

[BibT_eX]

[DOI]

Henry Muccini

J. Syst. Softw., 2010

Timed Property Sequence Chart.

[BibT_eX]

[DOI]

Lars Grunske

J. Syst. Softw., 2010

Model and Verification of WS-CDL Based on UML Diagrams.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2010

Generating Test Cases of Composite Services Based on OWL-S and eh-CPN.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

An Optimization Strategy for Evolutionary Testing Based on Cataclysm.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification.

[BibT_eX]

[DOI]

Gongyuan Zhang

Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009

WSTester: Testing Web Service for Behavior Conformance.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

A Formal Syntax for Probabilistic Timed Property Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition.

[BibT_eX]

[DOI]

Yu Zhou

Jun Pang

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Monitoring BPEL-Based Web Service Composition Using AOP.

[BibT_eX]

[DOI]

Mingjie Sun

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

A user-oriented Web service reliability model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2008

Regression Testing of Composite Service: An XBFG-Based Approach.

[BibT_eX]

[DOI]

Di Wang

Ju Cai

Proceedings of the 2008 IEEE World Congress on Services, 2008

Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Timed Extension of Property Sequence Chart.

[BibT_eX]

[DOI]

Mingjie Sun

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web and NetworkTechnologies, and Applications, 2008

Extending PSC for Monitoring the Timed Properties in Composite Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yu Zhou

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

On Testing Multi-threaded Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

A Formal Model for Web Service Composition and Its Application Analysis.

[BibT_eX]

[DOI]

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006

An Extension to Robustness Slicing Algorithm Based on Dynamic Array.

[BibT_eX]

[DOI]

Yancheng Wang

Xufang Gong

Proceedings of the Seventh International Conference on Software Engineering, 2006

An Integrated Regression Testing Framework to Multi-Threaded Java Programs.

[BibT_eX]

[DOI]

Yancheng Wang

Lili Yang

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005

Matrix-based component dependence representation and its applications in software quality assurance.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2005

A Study of Model Layers and Reflection.

[BibT_eX]

[DOI]

Ying Zhou

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.

[BibT_eX]

[DOI]

Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

2004

Model for Slicing JAVA Programs Hierarchically.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

Modular Monadic Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

A technique to analyze information-flow in object-oriented programs.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

2002

Analyzing information-flow in java program based on slicing technique.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2002

An Approach for Assessing Software Coupling.

[BibT_eX]