Architecture Framework for Software Test Tool. - Chang-Ai Sun; Chao Liu 002; Maozhong Jin; Mei Zhang (TOOLS (36), 2000)

Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML. - Chang-Ai Sun; Jiannong Cao 001; Maozhong Jin; Chao Lin; Michael R. Lyu (APPT, 2003)

An Incremental and Practical Approach to Enable the Component Run-time Evolution. - Chang-Ai Sun (APSEC, 2005)

ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications. - Chang-Ai Sun; Jun Zhou (Australian Software Engineering Conference, 2005)

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions. - Chang-Ai Sun; Yunwei Dong; Richard Lai 001; Kwan Yong Sim; Tsong Yueh Chen (CIT, 2006)

Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems. - Chang-Ai Sun; Marco Aiello 001 (COMPSAC (2), 2007)

Enhanced Random Testing for Programs with High Dimensional Input Domains. - Fei-Ching Kuo; Kwan Yong Sim; Chang-Ai Sun; Sau-Fun Tang; Zhi Quan Zhou 001 (SEKE, 2007)

A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. - Chang-Ai Sun (COMPSAC, 2008)

Towards Variable Service Compositions Using VxBPEL. - Chang-Ai Sun; Marco Aiello 001 (ICSR, 2008)

Towards Transaction-Based Reliable Service Compositions. - Chang-Ai Sun (COMPSAC (1), 2009)

TSGen: A UML Activity Diagram-Based Test Scenario Generation Tool. - Chang-Ai Sun; Baobao Zhang; Jin Li (CSE (2), 2009)

VxBPEL: Supporting variability for Web services in BPEL. - Michiel Koning; Chang-Ai Sun; Marco Sinnema; Paris Avgeriou (Inf. Softw. Technol., 2009)

On detecting faults for Boolean expressions. - Tsong Yueh Chen; Man Fai Lau; Kwan Yong Sim; Chang-Ai Sun (Softw. Qual. J., 2009)

ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL. - Chang-Ai Sun; Tieheng Xue; Marco Aiello 001 (APSCC, 2010)

Modeling and managing the variability of Web service-based systems. - Chang-Ai Sun; Rowan Rossing; Marco Sinnema; Pavel Bulanov; Marco Aiello 001 (J. Syst. Softw., 2010)

Metamorphic Testing for Web Services: Framework and a Case Study. - Chang-Ai Sun; Guan Wang; Baohong Mu; Huai Liu; ZhaoShun Wang; Tsong Yueh Chen (ICWS, 2011)

A Constraint-based Test Suite Reduction Method for Conservative Regression Testing. - Chang-Ai Sun (J. Softw., 2011)

Transaction Management in Service-Oriented Systems: Requirements and a Proposal. - Chang-Ai Sun; Elie el Khoury; Marco Aiello 001 (IEEE Trans. Serv. Comput., 2011)

Towards Dynamic Random Testing for Web Services. - Chang-Ai Sun; Guan Wang; Kai-Yuan Cai; Tsong Yueh Chen (COMPSAC, 2012)

Distribution-Aware Mutation Analysis. - Chang-Ai Sun; Guan Wang; Kai-Yuan Cai; Tsong Yueh Chen (COMPSAC Workshops, 2012)

Scenario-Oriented Testing for Web Service Compositions Using BPEL. - Chang-Ai Sun; Yan Shang; Yan Zhao; Tsong Yueh Chen (QSIC, 2012)

Toward Effectively Locating Integration-Level Faults in BPEL Programs. - Chang-Ai Sun; Yimeng Zhai; Yan Shang; Zhenyu Zhang (QSIC, 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)

BPELDebugger: An effective BPEL-specific fault localization framework. - Chang-Ai Sun; Yimeng Zhai; Yan Shang; Zhenyu Zhang (Inf. Softw. Technol., 2013)

VxBPEL_ODE: A Variability Enhanced Service Composition Engine. - Chang-Ai Sun; Pan Wang; Xin Zhang; Marco Aiello 001 (APWeb Workshophs, 2014)

A property-based testing framework for encryption programs. - Chang-Ai Sun; Zuoyi Wang; Guan Wang (Frontiers Comput. Sci., 2014)

Towards Model-Driven Variability-Based Flexible Service Compositions. - Xiao He 005; Yanmei Fu; Chang-Ai Sun; Zhiyi Ma; Weizhong Shao (COMPSAC, 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)

Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach. - Chang-Ai Sun; Xin Zhang; Yan Shang; Marco Aiello 001 (ACM Trans. Web, 2015)

μMT: a data mutation directed metamorphic relation acquisition methodology. - Chang-Ai Sun; Yiqiang Liu; Zuoyi Wang; W. K. Chan 001 (MET@ICSE, 2016)

Metamorphic testing as a test case selection strategy. - Dave Towey; Yunwei Dong; Chang-Ai Sun; Tsong Yueh Chen (Sci. China Inf. Sci., 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)

A transformation-based approach to testing concurrent programs using UML activity diagrams. - Chang-Ai Sun; Yan Zhao; Lin Pan; Xiao He 005; Dave Towey (Softw. Pract. Exp., 2016)

MET 2017 Workshop Summary. - Laura L. Pullum; Dave Towey; Upulee Kanewala; Chang-Ai Sun; Márcio Eduardo Delamaro (MET@ICSE, 2017)

d(mu)Reg: A Path-Aware Mutation Analysis Guided Approach to Regression Testing. - Chang-Ai Sun; Cuiyang Fan; Zhen Wang; Huai Liu (AST@ICSE, 2017)

A Cross-Layer Security Solution for Publish/Subscribe-Based IoT Services Communication Infrastructure. - Yang Zhang 015; Li Duan; Chang-Ai Sun; Bo Cheng 001; Junliang Chen 001 (ICWS, 2017)

An Empirical Study on Mutation Testing of WS-BPEL Programs. - Chang-Ai Sun; Lin Pan; Qiaoling Wang; Huai Liu; Xiangyu Zhang 001 (Comput. J., 2017)

A path-aware approach to mutant reduction in mutation testing. - Chang-Ai Sun; Feifei Xue; Huai Liu; Xiangyu Zhang 001 (Inf. Softw. Technol., 2017)

A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis. - Chang-Ai Sun; Jingting Jia; Huai Liu; Xiangyu Zhang 001 (COMPSAC (1), 2018)

Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance. - Chang-Ai Sun; Meng Li; Jingting Jia; Jun Han 004 (ICSOC, 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 001 (J. Syst. Softw., 2018)

Enforcing compliance of hierarchical business process with visual security constraints. - Li Duan; Yang Zhang 015; Chang-Ai Sun; Junliang Chen 001 (Int. J. Syst. Assur. Eng. Manag., 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)

A Reconfigurable Microservice-Based Migration Technique for IoT Systems. - Chang-Ai Sun; Jing Wang; Jing Guo; Zhen Wang; Li Duan (ICSOC Workshops, 2019)

A Comprehensive Security Framework for Publish/Subscribe-Based IoT Services Communication. - Li Duan; Chang-Ai Sun; Yang Zhang 015; Wei Ni 001; Junliang Chen 001 (IEEE Access, 2019)

Toward Supporting Unplanned Dynamic Changes of Service-Based Business Processes. - Chang-Ai Sun; Zhen Wang; Zaixing Zhang; Pan Wang; Xiao He 005; Jun Han 004 (IEEE Access, 2019)

Adaptive BPEL Service Compositions via Variability Management: A Methodology and Supporting Platform. - Chang-Ai Sun; Zhen Wang; Ke Wang; Tieheng Xue; Marco Aiello 001 (Int. J. Web Serv. Res., 2019)

Adaptive Partition Testing. - Chang-Ai Sun; Hepeng Dai; Huai Liu; Tsong Yueh Chen; Kai-Yuan Cai (IEEE Trans. Computers, 2019)

An iterative metamorphic testing technique for web services and case studies. - Chang-Ai Sun; An Fu; Yiqiang Liu; Qing Wen; Zuoyi Wang; Peng Wu 002; Tsong Yueh Chen (Int. J. Web Grid Serv., 2020)

A Variability-Enabling and Model-Driven Approach to Adaptive Microservice-based Systems. - Chang-Ai Sun; Jing Wang; Zhenxian Liu; Yanbo Han (COMPSAC, 2021)

Lightweight and Context-aware Modeling of Microservice-based Internet of Things. - Zhen Wang; Chang-Ai Sun; Marco Aiello 001 (ICWS, 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)

Context-aware IoT Service Recommendation: A Deep Collaborative Filtering-based Approach. - Zhen Wang; Chang-Ai Sun; Marco Aiello 001 (ICWS, 2022)

DeepController: Feedback-Directed Fuzzing for Deep Learning Systems. - Hepeng Dai; Chang-Ai Sun; Huai Liu (SEKE, 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 (SERVICES, 2022)

Test suite effectiveness metric evaluation: what do we know and what should we do? - Peng Zhang 083; Yang Wang 165; Xutong Liu; Yibiao Yang; Yanhui Li; Lin Chen 015; Ziyuan Wang 001; Chang-Ai Sun; Yuming Zhou (CoRR, 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)

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)

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)

A Trace-Log-Clusterings-Based Fault Localization Approach to Microservice Systems. - Chang-Ai Sun; Tao Zeng; Wanqing Zuo; Huai Liu (ICWS, 2023)

A feature-driven variability-enabled approach to adaptive service compositions. - Chang-Ai Sun; Zhen Wang; Zaixing Zhang; Luo Xu; Jun Han 004; Yanbo Han (Int. J. Web Grid Serv., 2023)

Feedback-Directed Metamorphic Testing. - Chang-Ai Sun; Hepeng Dai; Huai Liu; Tsong Yueh Chen (ACM Trans. Softw. Eng. Methodol., 2023)

Improving Conformance of Web Services: A Constraint-based Model-driven Approach. - Chang-Ai Sun; An Fu; Jingting Jia; Meng Li; Jun Han 004 (ACM Trans. Web, 2023)

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. - Yuan-rui Ji; Chang-Ai Sun; Xin-hui Zheng; Huai Liu (ICWS, 2024)

Blockchain-based Privacy-preserving Data Service Provisioning for Internet of Things. - Jiamei Liu; Chang-Ai Sun; Tong Wu; Marco Aiello 001 (ICWS, 2024)

Towards Mutation Testing of Embedded Software: A Framework and Case Study. - Wei Jiang; Sijin Dong; Jiaming Zhang; Jin Tang; Zichao Zhang; Chang-Ai Sun; Xiaoyi Zhang (ISSRE (Workshops), 2024)

Metamorphic Relation Generation: State of the Art and Visions for Future Research. - Rui Li 013; Huai Liu; Pak-Lok Poon; Dave Towey; Chang-Ai Sun; Zheng Zheng 001; Zhi Quan Zhou 001; Tsong Yueh Chen (CoRR, 2024)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication. - An Fu; Chang-Ai Sun; Jiaming Zhang; Huai Liu (CoRR, 2024)

Detecting Inconsistencies in Microservice-Based Systems: An Annotation-Assisted Scenario-Oriented Approach. - Chang-Ai Sun; Yufei Gong; Meng Li; Luo Xu; Jun Han 004; Yanbo Han (IEEE Trans. Serv. Comput., 2024)

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. - Chang-Ai Sun; Hepeng Dai; Ning Geng; Huai Liu; Tsong Yueh Chen; Peng Wu 002; Yan Cai 001; Jinqiu Wang (ACM Trans. Softw. Eng. Methodol., 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., 2024)

Assessing Effectiveness of Test Suites: What Do We Know and What Should We Do? - Peng Zhang 083; Yang Wang 165; Xutong Liu; Zeyu Lu; Yibiao Yang; Yanhui Li; Lin Chen 015; Ziyuan Wang 001; Chang-Ai Sun; Xiao Yu 008; Yuming Zhou (ACM Trans. Softw. Eng. Methodol., 2024)

KAD: a knowledge formalization-based anomaly detection approach for distributed systems. - Xinjie Wei; Chang-Ai Sun; Xiao-Yi Zhang (Softw. Qual. J., 2024)

DFuzzer: Diversity-Driven Seed Queue Construction of Fuzzing for Deep Learning Models. - Hepeng Dai; Chang-Ai Sun; Huai Liu; Xiangyu Zhang 001 (IEEE Trans. Reliab., 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., 2024)

Can Large Language Models Discover Metamorphic Relations? A Large-Scale Empirical Study. - Jiaming Zhang; Chang-Ai Sun; Huai Liu; Sijin Dong (SANER, 2025)

TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences. - Xinjie Wei; Chang-Ai Sun; Pengpeng Yang 003; Xiao-Yi Zhang; Dave Towey (Sci. Comput. Program., 2025)

A Reinforcement Learning Based Approach to Partition Testing. - Chang-Ai Sun; Ming-Jun Xiao; Hepeng Dai; Huai Liu (J. Comput. Sci. Technol., 2025)

Metamorphic Relation Generation: State of the Art and Research Directions. - Rui Li 013; Huai Liu; Pak-Lok Poon; Dave Towey; Chang-Ai Sun; Zheng Zheng 001; Zhiquan Zhou 001; Tsong Yueh Chen (ACM Trans. Softw. Eng. Methodol., 2025)