![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Chang-Ai Sun
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j35]Chang-Ai Sun
, Hui Jin, Siyi Wu, An Fu, Zuoyi Wang, Wing Kwong Chan:
Identifying metamorphic relations: A data mutation directed approach. Softw. Pract. Exp. 54(3): 394-418 (2024) - [j34]Xinjie Wei, Chang-Ai Sun, Xiao-Yi Zhang:
KAD: a knowledge formalization-based anomaly detection approach for distributed systems. Softw. Qual. J. 32(2): 821-845 (2024) - [j33]Chang-Ai Sun
, Hepeng Dai
, Ning Geng
, Huai Liu
, Tsong Yueh Chen
, Peng Wu
, Yan Cai
, Jinqiu Wang
:
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 33(1): 8:1-8:21 (2024) - [j32]Peng Zhang
, Yang Wang
, Xutong Liu
, Zeyu Lu
, Yibiao Yang
, Yanhui Li
, Lin Chen
, Ziyuan Wang
, Chang-Ai Sun
, Xiao Yu
, Yuming Zhou
:
Assessing Effectiveness of Test Suites: What Do We Know and What Should We Do? ACM Trans. Softw. Eng. Methodol. 33(4): 86:1-86:32 (2024) - [j31]Hepeng Dai
, Chang-Ai Sun
, Huai Liu
, Xiangyu Zhang
:
DFuzzer: Diversity-Driven Seed Queue Construction of Fuzzing for Deep Learning Models. IEEE Trans. Reliab. 73(2): 1075-1089 (2024) - [i2]Rui Li, Huai Liu, Pak-Lok Poon, Dave Towey, Chang-Ai Sun, Zheng Zheng, Zhi Quan Zhou, Tsong Yueh Chen:
Metamorphic Relation Generation: State of the Art and Visions for Future Research. CoRR abs/2406.05397 (2024) - 2023
- [j30]Chang-Ai Sun, Zhen Wang, Zaixing Zhang, Luo Xu, Jun Han, Yanbo Han:
A feature-driven variability-enabled approach to adaptive service compositions. Int. J. Web Grid Serv. 19(1): 79-112 (2023) - [j29]Chang-Ai Sun
, Hepeng Dai
, Huai Liu
, Tsong Yueh Chen
:
Feedback-Directed Metamorphic Testing. ACM Trans. Softw. Eng. Methodol. 32(1): 20:1-20:34 (2023) - [j28]Chang-Ai Sun
, An Fu
, Jingting Jia
, Meng Li
, Jun Han
:
Improving Conformance of Web Services: A Constraint-based Model-driven Approach. ACM Trans. Web 17(2): 12:1-12:36 (2023) - [c32]Chang-Ai Sun, Tao Zeng, Wanqing Zuo, Huai Liu
:
A Trace-Log-Clusterings-Based Fault Localization Approach to Microservice Systems. ICWS 2023: 7-13 - 2022
- [j27]Chang-Ai Sun, Baoli Liu, An Fu
, Yiqiang Liu, Huai Liu
:
Path-directed source test case generation and prioritization in metamorphic testing. J. Syst. Softw. 183: 111091 (2022) - [j26]Chang-Ai Sun
, An Fu
, Xinling Guo, Tsong Yueh Chen
:
ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution. IEEE Trans. Reliab. 71(1): 415-428 (2022) - [j25]Chang-Ai Sun
, Hepeng Dai
, Guan Wang, Dave Towey
, Tsong Yueh Chen
, Kai-Yuan Cai:
Dynamic Random Testing of Web Services: A Methodology and Evaluation. IEEE Trans. Serv. Comput. 15(2): 736-751 (2022) - [c31]Zhen Wang, Chang-Ai Sun, Marco Aiello:
Context-aware IoT Service Recommendation: A Deep Collaborative Filtering-based Approach. ICWS 2022: 150-159 - [c30]Hepeng Dai, Chang-Ai Sun, Huai Liu
:
DeepController: Feedback-Directed Fuzzing for Deep Learning Systems. SEKE 2022: 531-536 - [c29]Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey
, Tsong Yueh Chen, Kai-Yuan Cai:
An Extended Abstract of "Dynamic Random Testing of Web Services: A Methodology and Evaluation". SERVICES 2022: 30 - [i1]Peng Zhang, Yang Wang, Xutong Liu, Yibiao Yang, Yanhui Li, Lin Chen, Ziyuan Wang, Chang-Ai Sun, Yuming Zhou:
Test suite effectiveness metric evaluation: what do we know and what should we do? CoRR abs/2204.09165 (2022) - 2021
- [j24]Chang-Ai Sun
, An Fu
, Pak-Lok Poon
, Xiaoyuan Xie
, Huai Liu
, Tsong Yueh Chen
:
METRIC$^{+}$+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains. IEEE Trans. Software Eng. 47(9): 1764-1785 (2021) - [c28]Chang-Ai Sun, Jing Wang, Zhenxian Liu, Yanbo Han:
A Variability-Enabling and Model-Driven Approach to Adaptive Microservice-based Systems. COMPSAC 2021: 968-973 - [c27]Zhen Wang, Chang-Ai Sun, Marco Aiello:
Lightweight and Context-aware Modeling of Microservice-based Internet of Things. ICWS 2021: 282-292 - 2020
- [j23]Chang-Ai Sun, An Fu, Yiqiang Liu, Qing Wen, Zuoyi Wang, Peng Wu, Tsong Yueh Chen:
An iterative metamorphic testing technique for web services and case studies. Int. J. Web Grid Serv. 16(4): 364-392 (2020)
2010 – 2019
- 2019
- [j22]Li Duan
, Chang-Ai Sun, Yang Zhang, Wei Ni
, Junliang Chen:
A Comprehensive Security Framework for Publish/Subscribe-Based IoT Services Communication. IEEE Access 7: 25989-26001 (2019) - [j21]Chang-Ai Sun
, Zhen Wang, Zaixing Zhang, Pan Wang, Xiao He, Jun Han:
Toward Supporting Unplanned Dynamic Changes of Service-Based Business Processes. IEEE Access 7: 48982-48997 (2019) - [j20]Chang-Ai Sun, Zhen Wang, Ke Wang, Tieheng Xue, Marco Aiello
:
Adaptive BPEL Service Compositions via Variability Management: A Methodology and Supporting Platform. Int. J. Web Serv. Res. 16(1): 37-69 (2019) - [j19]Chang-Ai Sun
, Hepeng Dai, Huai Liu
, Tsong Yueh Chen
, Kai-Yuan Cai:
Adaptive Partition Testing. IEEE Trans. Computers 68(2): 157-169 (2019) - [c26]Chang-Ai Sun, Jing Wang, Jing Guo, Zhen Wang, Li Duan:
A Reconfigurable Microservice-Based Migration Technique for IoT Systems. ICSOC Workshops 2019: 142-155 - 2018
- [j18]Chang-Ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey
, Xiangyu Zhang:
Fault localisation for WS-BPEL programs based on predicate switching and program slicing. J. Syst. Softw. 135: 191-204 (2018) - [j17]Li Duan, Yang Zhang, Chang-Ai Sun, Junliang Chen:
Enforcing compliance of hierarchical business process with visual security constraints. Int. J. Syst. Assur. Eng. Manag. 9(3): 703-715 (2018) - [j16]Chang-Ai Sun, Yan Zhao, Lin Pan, Huai Liu, Tsong Yueh Chen
:
Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach. IEEE Trans. Serv. Comput. 11(4): 616-629 (2018) - [c25]Chang-Ai Sun, Jingting Jia, Huai Liu, Xiangyu Zhang:
A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis. COMPSAC (1) 2018: 116-125 - [c24]Chang-Ai Sun, Meng Li, Jingting Jia, Jun Han:
Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance. ICSOC 2018: 543-559 - 2017
- [j15]Chang-Ai Sun, Lin Pan, Qiaoling Wang, Huai Liu, Xiangyu Zhang:
An Empirical Study on Mutation Testing of WS-BPEL Programs. Comput. J. 60(1): 143-158 (2017) - [j14]Chang-Ai Sun, Feifei Xue, Huai Liu
, Xiangyu Zhang:
A path-aware approach to mutant reduction in mutation testing. Inf. Softw. Technol. 81: 65-81 (2017) - [c23]Laura L. Pullum, Dave Towey, Upulee Kanewala, Chang-Ai Sun, Márcio Eduardo Delamaro:
MET 2017 Workshop Summary. MET@ICSE 2017: 1 - [c22]Chang-Ai Sun, Cuiyang Fan, Zhen Wang, Huai Liu:
d(mu)Reg: A Path-Aware Mutation Analysis Guided Approach to Regression Testing. AST@ICSE 2017: 59-64 - [c21]Yang Zhang, Li Duan, Chang-Ai Sun, Bo Cheng, Junliang Chen:
A Cross-Layer Security Solution for Publish/Subscribe-Based IoT Services Communication Infrastructure. ICWS 2017: 580-587 - 2016
- [j13]Dave Towey
, Yunwei Dong, Chang-Ai Sun, Tsong Yueh Chen
:
Metamorphic testing as a test case selection strategy. Sci. China Inf. Sci. 59(5): 050108:1-050108:2 (2016) - [j12]Chang-Ai Sun, Guan Wang, Qing Wen, Dave Towey
, Tsong Yueh Chen
:
MT4WS: an automated metamorphic testing system for web services. Int. J. High Perform. Comput. Netw. 9(1/2): 104-115 (2016) - [j11]Chang-Ai Sun, Yan Zhao, Lin Pan, Xiao He
, Dave Towey
:
A transformation-based approach to testing concurrent programs using UML activity diagrams. Softw. Pract. Exp. 46(4): 551-576 (2016) - [c20]Chang-Ai Sun, Yiqiang Liu, Zuoyi Wang, W. K. Chan
:
μMT: a data mutation directed metamorphic relation acquisition methodology. MET@ICSE 2016: 12-18 - 2015
- [j10]Chang-Ai Sun, Yimeng Zai, Huai Liu
:
Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments. Comput. J. 58(5): 1199-1213 (2015) - [j9]Chang-Ai Sun, Xin Zhang, Yan Shang, Marco Aiello
:
Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach. ACM Trans. Web 9(2): 9:1-9:31 (2015) - [c19]Xiao He
, Yanmei Fu, Chang-Ai Sun, Zhiyi Ma, Weizhong Shao:
Towards Model-Driven Variability-Based Flexible Service Compositions. COMPSAC 2015: 298-303 - 2014
- [j8]Chang-Ai Sun, Zuoyi Wang, Guan Wang:
A property-based testing framework for encryption programs. Frontiers Comput. Sci. 8(3): 478-489 (2014) - [c18]Chang-Ai Sun, Pan Wang, Xin Zhang, Marco Aiello
:
VxBPEL_ODE: A Variability Enhanced Service Composition Engine. APWeb Workshophs 2014: 69-81 - 2013
- [j7]Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang:
BPELDebugger: An effective BPEL-specific fault localization framework. Inf. Softw. Technol. 55(12): 2140-2153 (2013) - 2012
- [j6]Chang-Ai Sun, Guan Wang, Baohong Mu, Huai Liu
, ZhaoShun Wang, Tsong Yueh Chen
:
A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles. Int. J. Web Serv. Res. 9(1): 51-73 (2012) - [c17]Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen
:
Towards Dynamic Random Testing for Web Services. COMPSAC 2012: 164-169 - [c16]Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen
:
Distribution-Aware Mutation Analysis. COMPSAC Workshops 2012: 170-175 - [c15]Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang:
Toward Effectively Locating Integration-Level Faults in BPEL Programs. QSIC 2012: 17-20 - [c14]Chang-Ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen
:
Scenario-Oriented Testing for Web Service Compositions Using BPEL. QSIC 2012: 171-174 - 2011
- [j5]Chang-Ai Sun:
A Constraint-based Test Suite Reduction Method for Conservative Regression Testing. J. Softw. 6(2): 314-321 (2011) - [j4]Chang-Ai Sun, Elie el Khoury, Marco Aiello
:
Transaction Management in Service-Oriented Systems: Requirements and a Proposal. IEEE Trans. Serv. Comput. 4(2): 167-180 (2011) - [c13]Chang-Ai Sun, Guan Wang, Baohong Mu, Huai Liu
, ZhaoShun Wang, Tsong Yueh Chen
:
Metamorphic Testing for Web Services: Framework and a Case Study. ICWS 2011: 283-290 - 2010
- [j3]Chang-Ai Sun, Rowan Rossing, Marco Sinnema, Pavel Bulanov, Marco Aiello:
Modeling and managing the variability of Web service-based systems. J. Syst. Softw. 83(3): 502-516 (2010) - [c12]Chang-Ai Sun, Tieheng Xue, Marco Aiello
:
ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL. APSCC 2010: 307-314
2000 – 2009
- 2009
- [j2]Michiel Koning, Chang-Ai Sun, Marco Sinnema, Paris Avgeriou
:
VxBPEL: Supporting variability for Web services in BPEL. Inf. Softw. Technol. 51(2): 258-269 (2009) - [j1]Tsong Yueh Chen
, Man Fai Lau, Kwan Yong Sim
, Chang-Ai Sun:
On detecting faults for Boolean expressions. Softw. Qual. J. 17(3): 245-261 (2009) - [c11]Chang-Ai Sun:
Towards Transaction-Based Reliable Service Compositions. COMPSAC (1) 2009: 216-221 - [c10]Chang-Ai Sun, Baobao Zhang, Jin Li:
TSGen: A UML Activity Diagram-Based Test Scenario Generation Tool. CSE (2) 2009: 853-858 - 2008
- [c9]Chang-Ai Sun:
A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. COMPSAC 2008: 160-167 - [c8]Chang-Ai Sun, Marco Aiello
:
Towards Variable Service Compositions Using VxBPEL. ICSR 2008: 257-261 - 2007
- [c7]Chang-Ai Sun, Marco Aiello
:
Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems. COMPSAC (2) 2007: 461-466 - [c6]Fei-Ching Kuo, Kwan Yong Sim, Chang-Ai Sun, Sau-Fun Tang, Zhiquan Zhou:
Enhanced Random Testing for Programs with High Dimensional Input Domains. SEKE 2007: 135-140 - 2006
- [c5]Chang-Ai Sun, Yunwei Dong, Richard Lai, Kwan Yong Sim
, Tsong Yueh Chen
:
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions. CIT 2006: 184 - 2005
- [c4]Chang-Ai Sun:
An Incremental and Practical Approach to Enable the Component Run-time Evolution. APSEC 2005: 603-610 - [c3]Chang-Ai Sun, Jun Zhou:
ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications. Australian Software Engineering Conference 2005: 270-280 - 2003
- [c2]Chang-Ai Sun, Jiannong Cao, Maozhong Jin, Chao Lin, Michael R. Lyu:
Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML. APPT 2003: 536-545 - 2000
- [c1]Chang-Ai Sun, Chao Liu, Maozhong Jin, Mei Zhang:
Architecture Framework for Software Test Tool. TOOLS (36) 2000: 40-49
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint