Chang-Ai Sun

According to our database, Chang-Ai Sun authored at least 73 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Log-based anomaly detection for distributed systems: State of the art, industry experience, and open issues.

Xinjie Wei, Jie Wang, Chang-Ai Sun, Dave Towey, Shoufeng Zhang, Wanqing Zuo, Yiming Yu, Ruoyi Ruan, Guyang Song

J. Softw. Evol. Process., August, 2024

DFuzzer: Diversity-Driven Seed Queue Construction of Fuzzing for Deep Learning Models.

Hepeng Dai, Chang-Ai Sun, Huai Liu, Xiangyu Zhang

IEEE Trans. Reliab., June, 2024

KAD: a knowledge formalization-based anomaly detection approach for distributed systems.

Xinjie Wei, Chang-Ai Sun, Xiao-Yi Zhang

Softw. Qual. J., June, 2024

Assessing Effectiveness of Test Suites: What Do We Know and What Should We Do?

Peng Zhang, Yang Wang, Xutong Liu, Zeyu Lu, Yibiao Yang, Yanhui Li, Lin Chen, Ziyuan Wang, Chang-Ai Sun, Xiao Yu, Yuming Zhou

ACM Trans. Softw. Eng. Methodol., May, 2024

Identifying metamorphic relations: A data mutation directed approach.

Chang-Ai Sun, Hui Jin, Siyi Wu, An Fu, Zuoyi Wang, Wing Kwong Chan

Softw. Pract. Exp., March, 2024

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.

Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang

ACM Trans. Softw. Eng. Methodol., January, 2024

Detecting Inconsistencies in Microservice-Based Systems: An Annotation-Assisted Scenario-Oriented Approach.

Chang-Ai Sun, Yufei Gong, Meng Li, Luo Xu, Jun Han, Yanbo Han

IEEE Trans. Serv. Comput., 2024

Metamorphic Relation Generation: State of the Art and Visions for Future Research.

Rui Li, Huai Liu, Pak-Lok Poon, Dave Towey, Chang-Ai Sun, Zheng Zheng, Zhi Quan Zhou, Tsong Yueh Chen

CoRR, 2024

Blockchain-based Privacy-preserving Data Service Provisioning for Internet of Things.

Jiamei Liu, Chang-Ai Sun, Tong Wu, Marco Aiello

Proceedings of the IEEE International Conference on Web Services, 2024

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts.

Yuan-rui Ji, Chang-Ai Sun, Xin-hui Zheng, Huai Liu

Proceedings of the IEEE International Conference on Web Services, 2024

2023

Improving Conformance of Web Services: A Constraint-based Model-driven Approach.

Chang-Ai Sun, An Fu, Jingting Jia, Meng Li, Jun Han

ACM Trans. Web, May, 2023

Feedback-Directed Metamorphic Testing.

Chang-Ai Sun, Hepeng Dai, Huai Liu, Tsong Yueh Chen

ACM Trans. Softw. Eng. Methodol., January, 2023

A feature-driven variability-enabled approach to adaptive service compositions.

Chang-Ai Sun, Zhen Wang, Zaixing Zhang, Luo Xu, Jun Han, Yanbo Han

Int. J. Web Grid Serv., 2023

A Trace-Log-Clusterings-Based Fault Localization Approach to Microservice Systems.

Chang-Ai Sun, Tao Zeng, Wanqing Zuo, Huai Liu

Proceedings of the IEEE International Conference on Web Services, 2023

2022

Dynamic Random Testing of Web Services: A Methodology and Evaluation.

Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey, Tsong Yueh Chen, Kai-Yuan Cai

IEEE Trans. Serv. Comput., 2022

ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution.

Chang-Ai Sun, An Fu, Xinling Guo, Tsong Yueh Chen

IEEE Trans. Reliab., 2022

Path-directed source test case generation and prioritization in metamorphic testing.

Chang-Ai Sun, Baoli Liu, An Fu, Yiqiang Liu, Huai Liu

J. Syst. Softw., 2022

Test suite effectiveness metric evaluation: what do we know and what should we do?

Peng Zhang, Yang Wang, Xutong Liu, Yibiao Yang, Yanhui Li, Lin Chen, Ziyuan Wang, Chang-Ai Sun, Yuming Zhou

CoRR, 2022

An Extended Abstract of "Dynamic Random Testing of Web Services: A Methodology and Evaluation".

Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey, Tsong Yueh Chen, Kai-Yuan Cai

Proceedings of the IEEE World Congress on Services, 2022

DeepController: Feedback-Directed Fuzzing for Deep Learning Systems.

Hepeng Dai, Chang-Ai Sun, Huai Liu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Context-aware IoT Service Recommendation: A Deep Collaborative Filtering-based Approach.

Zhen Wang, Chang-Ai Sun, Marco Aiello

Proceedings of the IEEE International Conference on Web Services, 2022

2021

METRIC$^{+}$+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains.

Chang-Ai Sun, An Fu, Pak-Lok Poon, Xiaoyuan Xie, Huai Liu, Tsong Yueh Chen

IEEE Trans. Software Eng., 2021

Lightweight and Context-aware Modeling of Microservice-based Internet of Things.

Zhen Wang, Chang-Ai Sun, Marco Aiello

Proceedings of the 2021 IEEE International Conference on Web Services, 2021

A Variability-Enabling and Model-Driven Approach to Adaptive Microservice-based Systems.

Chang-Ai Sun, Jing Wang, Zhenxian Liu, Yanbo Han

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

An iterative metamorphic testing technique for web services and case studies.

Chang-Ai Sun, An Fu, Yiqiang Liu, Qing Wen, Zuoyi Wang, Peng Wu, Tsong Yueh Chen

Int. J. Web Grid Serv., 2020

2019

Adaptive Partition Testing.

Chang-Ai Sun, Hepeng Dai, Huai Liu, Tsong Yueh Chen, Kai-Yuan Cai

IEEE Trans. Computers, 2019

Adaptive BPEL Service Compositions via Variability Management: A Methodology and Supporting Platform.

Chang-Ai Sun, Zhen Wang, Ke Wang, Tieheng Xue, Marco Aiello

Int. J. Web Serv. Res., 2019

Toward Supporting Unplanned Dynamic Changes of Service-Based Business Processes.

Chang-Ai Sun, Zhen Wang, Zaixing Zhang, Pan Wang, Xiao He, Jun Han

IEEE Access, 2019

A Comprehensive Security Framework for Publish/Subscribe-Based IoT Services Communication.

Li Duan, Chang-Ai Sun, Yang Zhang, Wei Ni, Junliang Chen

IEEE Access, 2019

A Reconfigurable Microservice-Based Migration Technique for IoT Systems.

Chang-Ai Sun, Jing Wang, Jing Guo, Zhen Wang, Li Duan

Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

2018

Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach.

Chang-Ai Sun, Yan Zhao, Lin Pan, Huai Liu, Tsong Yueh Chen

IEEE Trans. Serv. Comput., 2018

Enforcing compliance of hierarchical business process with visual security constraints.

Li Duan, Yang Zhang, Chang-Ai Sun, Junliang Chen

Int. J. Syst. Assur. Eng. Manag., 2018

Fault localisation for WS-BPEL programs based on predicate switching and program slicing.

Chang-Ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey, Xiangyu Zhang

J. Syst. Softw., 2018

Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance.

Chang-Ai Sun, Meng Li, Jingting Jia, Jun Han

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis.

Chang-Ai Sun, Jingting Jia, Huai Liu, Xiangyu Zhang

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

A path-aware approach to mutant reduction in mutation testing.

Chang-Ai Sun, Feifei Xue, Huai Liu, Xiangyu Zhang

Inf. Softw. Technol., 2017

An Empirical Study on Mutation Testing of WS-BPEL Programs.

Chang-Ai Sun, Lin Pan, Qiaoling Wang, Huai Liu, Xiangyu Zhang

Comput. J., 2017

A Cross-Layer Security Solution for Publish/Subscribe-Based IoT Services Communication Infrastructure.

Yang Zhang, Li Duan, Chang-Ai Sun, Bo Cheng, Junliang Chen

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

d(mu)Reg: A Path-Aware Mutation Analysis Guided Approach to Regression Testing.

Chang-Ai Sun, Cuiyang Fan, Zhen Wang, Huai Liu

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

MET 2017 Workshop Summary.

Laura L. Pullum, Dave Towey, Upulee Kanewala, Chang-Ai Sun, Márcio Eduardo Delamaro

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016

A transformation-based approach to testing concurrent programs using UML activity diagrams.

Chang-Ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey

Softw. Pract. Exp., 2016

MT4WS: an automated metamorphic testing system for web services.

Chang-Ai Sun, Guan Wang, Qing Wen, Dave Towey, Tsong Yueh Chen

Int. J. High Perform. Comput. Netw., 2016

Metamorphic testing as a test case selection strategy.

Dave Towey, Yunwei Dong, Chang-Ai Sun, Tsong Yueh Chen

Sci. China Inf. Sci., 2016

μMT: a data mutation directed metamorphic relation acquisition methodology.

Chang-Ai Sun, Yiqiang Liu, Zuoyi Wang, W. K. Chan

Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

2015

Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach.

Chang-Ai Sun, Xin Zhang, Yan Shang, Marco Aiello

ACM Trans. Web, 2015

Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments.

Chang-Ai Sun, Yimeng Zai, Huai Liu

Comput. J., 2015

Towards Model-Driven Variability-Based Flexible Service Compositions.

Xiao He, Yanmei Fu, Chang-Ai Sun, Zhiyi Ma, Weizhong Shao

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

A property-based testing framework for encryption programs.

Chang-Ai Sun, Zuoyi Wang, Guan Wang

Frontiers Comput. Sci., 2014

VxBPEL_ODE: A Variability Enhanced Service Composition Engine.

Chang-Ai Sun, Pan Wang, Xin Zhang, Marco Aiello

Proceedings of the Web Technologies and Applications, 2014

2013

BPELDebugger: An effective BPEL-specific fault localization framework.

Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang

Inf. Softw. Technol., 2013

2012

A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles.

Chang-Ai Sun, Guan Wang, Baohong Mu, Huai Liu, ZhaoShun Wang, Tsong Yueh Chen

Int. J. Web Serv. Res., 2012

Toward Effectively Locating Integration-Level Faults in BPEL Programs.

Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang

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

Scenario-Oriented Testing for Web Service Compositions Using BPEL.

Chang-Ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen

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

Distribution-Aware Mutation Analysis.

Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen

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

Towards Dynamic Random Testing for Web Services.

Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen

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

2011

Transaction Management in Service-Oriented Systems: Requirements and a Proposal.

Chang-Ai Sun, Elie el Khoury, Marco Aiello

IEEE Trans. Serv. Comput., 2011

A Constraint-based Test Suite Reduction Method for Conservative Regression Testing.

Chang-Ai Sun

J. Softw., 2011

Metamorphic Testing for Web Services: Framework and a Case Study.

Chang-Ai Sun, Guan Wang, Baohong Mu, Huai Liu, ZhaoShun Wang, Tsong Yueh Chen

Proceedings of the IEEE International Conference on Web Services, 2011

2010

Modeling and managing the variability of Web service-based systems.

Chang-Ai Sun, Rowan Rossing, Marco Sinnema, Pavel Bulanov, Marco Aiello

J. Syst. Softw., 2010

ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL.

Chang-Ai Sun, Tieheng Xue, Marco Aiello

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

2009

On detecting faults for Boolean expressions.

Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim, Chang-Ai Sun

Softw. Qual. J., 2009

VxBPEL: Supporting variability for Web services in BPEL.

Michiel Koning, Chang-Ai Sun, Marco Sinnema, Paris Avgeriou

Inf. Softw. Technol., 2009

TSGen: A UML Activity Diagram-Based Test Scenario Generation Tool.

Chang-Ai Sun, Baobao Zhang, Jin Li

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Towards Transaction-Based Reliable Service Compositions.

Chang-Ai Sun

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Towards Variable Service Compositions Using VxBPEL.

Chang-Ai Sun, Marco Aiello

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications.

Chang-Ai Sun

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Enhanced Random Testing for Programs with High Dimensional Input Domains.

Fei-Ching Kuo, Kwan Yong Sim, Chang-Ai Sun, Sau-Fun Tang, Zhiquan Zhou

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems.

Chang-Ai Sun, Marco Aiello

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions.

Chang-Ai Sun, Yunwei Dong, Richard Lai, Kwan Yong Sim, Tsong Yueh Chen

Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005

ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications.

Chang-Ai Sun, Jun Zhou

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

An Incremental and Practical Approach to Enable the Component Run-time Evolution.

Chang-Ai Sun

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML.

Chang-Ai Sun, Jiannong Cao, Maozhong Jin, Chao Lin, Michael R. Lyu

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

2000

Architecture Framework for Software Test Tool.

Chang-Ai Sun, Chao Liu, Maozhong Jin, Mei Zhang

Proceedings of the TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October, 2000