Conformance Test of Distributed Transaction Service. - Chang Xu 001; Beihong Jin (Asian Test Symposium, 2003)

Building Extensible and High Performance Distributed Transaction Service. - Xin Zhang; Chang Xu 001; Beihong Jin (Australian Software Engineering Conference, 2004)

Semantic Interpretation and Matching of Web Services. - Chang Xu 001; Shing-Chi Cheung; Xiangye Xiao (ER, 2004)

Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. - Chang Xu 001; Shing-Chi Cheung; Cindy Lo; Ka-Chung Leung; Jun Wei 001 (NPC, 2004)

Inconsistency detection and resolution for context-aware middleware support. - Chang Xu 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2005)

Incremental consistency checking for pervasive context. - Chang Xu 001; Shing-Chi Cheung; W. K. Chan 001 (ICSE, 2006)

Local analysis of atomicity sphere for B2B collaboration. - Chunyang Ye; Shing-Chi Cheung; W. K. Chan 001; Chang Xu 001 (SIGSOFT FSE, 2006)

Goal-Directed Context Validation for Adaptive Ubiquitous Systems. - Chang Xu 001; Shing-Chi Cheung; Wing Kwong Chan (SEAMS, 2007)

On impact-oriented automatic resolution of pervasive context inconsistency. - Chang Xu 001; Shing-Chi Cheung; W. K. Chan 001; Chunyang Ye (ESEC/SIGSOFT FSE, 2007)

Detection and resolution of atomicity violation in service composition. - Chunyang Ye; Shing-Chi Cheung; W. K. Chan 001; Chang Xu 001 (ESEC/SIGSOFT FSE, 2007)

Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. - Chang Xu 001; Shing-Chi Cheung; Wing Kwong Chan; Chunyang Ye (ICDCS, 2008)

Atomicity Analysis of Service Composition across Organizations. - Chunyang Ye; Shing-Chi Cheung; Wing Kwong Chan; Chang Xu 001 (IEEE Trans. Software Eng., 2009)

Sequential event pattern based context-aware adaptation. - Chushu Gao; Jun Wei 001; Chang Xu 001; Shing-Chi Cheung (Internetware, 2010)

Data-driven testing methodology for RFID systems. - An Lu; Wenbin Fang; Chang Xu 001; Shing-Chi Cheung; Yu Liu 078 (Frontiers Comput. Sci. China, 2010)

Sequential Event Pattern Based Design of Context-Aware Adaptive Application. - Chushu Gao; Jun Wei 001; Chang Xu 001; Shing-Chi Cheung (Int. J. Softw. Informatics, 2010)

Partial constraint checking for context consistency in pervasive computing. - Chang Xu 001; Shing-Chi Cheung; W. K. Chan 001; Chunyang Ye (ACM Trans. Softw. Eng. Methodol., 2010)

Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. - Chang Xu 001; Xiaoxing Ma; Chun Cao; Jian Lu 001 (MobiQuitous, 2011)

Javelus: A Low Disruptive Approach to Dynamic Software Updates. - Tianxiao Gu; Chun Cao; Chang Xu 001; Xiaoxing Ma; Linghao Zhang; Jian Lu 001 (APSEC, 2012)

Resynchronizing Model-Based Self-Adaptive Systems with Environments. - Linghao Zhang; Chang Xu 001; Xiaoxing Ma; Tianxiao Gu; Xuezhi Hong; Chun Cao; Jian Lu 001 (APSEC, 2012)

ConsView: Towards Application-Specific Consistent Context Views. - Haibin Yang; Chang Xu 001; Xiaoxing Ma; Linghao Zhang; Chun Cao; Jian Lu 001 (COMPSAC, 2012)

Dynamic fault detection in context-aware adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (Internetware, 2012)

Adam: Identifying defects in context-aware adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (J. Syst. Softw., 2012)

Managing Environment and Adaptation Risks for the Internetware Paradigm. - Jian Lü 001; Yu Huang 002; Chang Xu 001; Xiaoxing Ma (Theories of Programming and Formal Methods, 2013)

Challenges in developing software for cyber-physical systems. - Linghao Zhang; Hui Sun; Xiaoxing Ma; Chang Xu 001; Jian Lu 001 (Internetware, 2013)

Environment rematching: Toward dependability improvement for self-adaptive applications. - Chang Xu 001; Wenhua Yang 001; Xiaoxing Ma; Chun Cao; Jian Lu 001 (ASE, 2013)

DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. - Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma (Middleware Doctoral Symposium, 2013)

VeriDroid: automating Android application verification. - Yepang Liu 001; Chang Xu 001 (Middleware Doctoral Symposium, 2013)

IDEA: improving dependability for self-adaptive applications. - Wenhua Yang 001; Chang Xu 001; Linghao Zhang (Middleware Doctoral Symposium, 2013)

Where has my battery gone? Finding sensor related energy black holes in smartphone applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (PerCom, 2013)

Towards context consistency by concurrent checking for Internetware applications. - Chang Xu 001; Yepang Liu 001; Shing-Chi Cheung; Chun Cao; Jian Lv 001 (Sci. China Inf. Sci., 2013)

Detecting Faults in Context-Aware Adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lv 001 (Int. J. Softw. Informatics, 2013)

AFChecker: Effective model checking for context-aware adaptive applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (J. Syst. Softw., 2013)

User Guided Automation for Testing Mobile Apps. - Xiujiang Li; Yanyan Jiang 001; Yepang Liu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (APSEC (1), 2014)

GAIN: GPU-Based Constraint Checking for Context Consistency. - Jun Sui; Chang Xu 001; Wang Xi; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (APSEC (1), 2014)

SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. - Wang Xi; Chang Xu 001; Wenhua Yang 001; Ping Yu 004; Xiaoxing Ma; Jiang Lu (APSEC (1), 2014)

CARE: cache guided deterministic replay for concurrent Java programs. - Yanyan Jiang 001; Tianxiao Gu; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2014)

Characterizing and detecting performance bugs for smartphone applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (ICSE, 2014)

Automated recommendation of dynamic software update points: an exploratory study. - Zelin Zhao; Xiaoxing Ma; Chang Xu 001; Wenhua Yang 001 (Internetware, 2014)

Verifying self-adaptive applications suffering uncertainty. - Wenhua Yang 001; Chang Xu 001; Yepang Liu 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (ASE, 2014)

Automatically generated patches as debugging aids: a human study. - Yida Tao; Jindae Kim 001; Sunghun Kim 001; Chang Xu 001 (SIGSOFT FSE, 2014)

CHECKERDROID : Automated Quality Assurance for Smartphone Applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Wenhua Yang 001 (Int. J. Softw. Informatics, 2014)

Low-disruptive dynamic updating of Java applications. - Tianxiao Gu; Chun Cao; Chang Xu 001; Xiaoxing Ma; Linghao Zhang; Jian Lü 001 (Inf. Softw. Technol., 2014)

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Jian Lu 001 (IEEE Trans. Software Eng., 2014)

ABC: Accelerated Building of C/C++ Projects. - Ying Zhang 071; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma; Ping Yu 004 (APSEC, 2015)

Concolic Metamorphic Debugging. - Hao Jin; Yanyan Jiang 001; Na Liu; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (COMPSAC, 2015)

CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. - Xiangyu Wu; Chang Xu 001; Ziling Lu; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (COMPSAC, 2015)

Facilitating Reusable and Scalable Automated Testing and Analysis for Android Apps. - Zhanshuai Meng; Yanyan Jiang 001; Chang Xu 001 (Internetware, 2015)

Optimistic Shared Memory Dependence Tracing (T). - Yanyan Jiang 001; Du Li; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ASE, 2015)

An Event-Based Formal Framework for Dynamic Software Update. - Shengwei An; Xiaoxing Ma; Chun Cao; Ping Yu 004; Chang Xu 001 (QRS, 2015)

A survey on dependability improvement techniques for pervasive computing systems. - Wenhua Yang 001; Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (Sci. China Inf. Sci., 2015)

小车远程控制及自主寻路系统的设计与实现 (Design and Implementation of Vehicle Remote Control and Independent Way-finding System). - Xiaofan Li; Chang Xu 001 (计算机科学, 2015)

SEES Summary: Software Engineering Educators Symposium 2014. - Chang Xu 001; Laura K. Dillon (ACM SIGSOFT Softw. Eng. Notes, 2015)

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (IEEE Softw., 2015)

Cina: Suppressing the Detection of Unstable Context Inconsistency. - Chang Xu 001; Wang Xi; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (IEEE Trans. Software Eng., 2015)

Improving Reliability of Dynamic Software Updating Using Runtime Recovery. - Tianxiao Gu; Zelin Zhao; Xiaoxing Ma; Chang Xu 001; Chun Cao; Jian Lu 001 (APSEC, 2016)

Effectively Manifesting Concurrency Bugs in Android Apps. - Qiwei Li; Yanyan Jiang 001; Tianxiao Gu; Chang Xu 001; Jun Ma 010; Xiaoxing Ma; Jian Lu 001 (APSEC, 2016)

Testing Android Apps via Guided Gesture Event Generation. - Xiangyu Wu; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (APSEC, 2016)

CURE: Automated Patch Generation for Dynamic Software Update. - Zelin Zhao; Tianxiao Gu; Xiaoxing Ma; Chang Xu 001; Jian Lu 001 (APSEC, 2016)

CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. - Shing-Chi Cheung; Wanjun Chen; Yepang Liu 001; Chang Xu 001 (ICSE, 2016)

E-greenDroid: effective energy inefficiency analysis for android applications. - Jue Wang; Yepang Liu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (Internetware, 2016)

Verifying Distributed Controllers with Local Invariants. - Yiqun Wang; Shengwei An; Xiaoxing Ma; Chun Cao; Chang Xu 001 (QRS, 2016)

How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study. - Huiyan Wang 001; Chang Xu 001; Jun Sui; Jian Lu 001 (QRS, 2016)

Crash consistency validation made easy. - Yanyan Jiang 001; Haicheng Chen; Feng Qin; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (SIGSOFT FSE, 2016)

Online shared memory dependence reduction via bisectional coordination. - Yanyan Jiang 001; Chang Xu 001; Du Li; Xiaoxing Ma; Jian Lu 001 (SIGSOFT FSE, 2016)

Detecting table clones and smells in spreadsheets. - Wensheng Dou; Shing-Chi Cheung; Chushu Gao; Chang Xu 001; Liang Xu; Jun Wei 001 (SIGSOFT FSE, 2016)

Understanding and detecting wake lock misuses for Android applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Valerio Terragni (SIGSOFT FSE, 2016)

DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. - Yepang Liu 001; Lili Wei 001; Chang Xu 001; Shing-Chi Cheung (CoRR, 2016)

Hybrid CPU-GPU constraint checking: Towards efficient context consistency. - Jun Sui; Chang Xu 001; Shing-Chi Cheung; Wang Xi; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (Inf. Softw. Technol., 2016)

Suppressing detection of inconsistency hazards with pattern learning. - Wang Xi; Chang Xu 001; Wenhua Yang 001; Xiaoxing Ma; Ping Yu 004; Jian Lu 001 (Inf. Softw. Technol., 2016)

SIT: Sampling-based interactive testing for self-adaptive apps. - Yi Qin 002; Chang Xu 001; Ping Yu 004; Jian Lu 001 (J. Syst. Softw., 2016)

Synthesizing object transformation for dynamic software updating. - Tianxiao Gu; Xiaoxing Ma; Chang Xu 001; Yanyan Jiang 001; Chun Cao; Jian Lü 001 (ICSE (Companion Volume), 2017)

GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection. - Bingying Guo; Huiyan Wang 001; Chang Xu 001; Jian Lu 001 (ICSME, 2017)

NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. - Yi Liu; Jue Wang; Chang Xu 001; Xiaoxing Ma (Internetware, 2017)

RepDroid: an automated tool for Android application repackaging detection. - Shengtao Yue; Weizan Feng; Jun Ma 010; Yanyan Jiang 001; XianPing Tao; Chang Xu 001; Jian Lu 001 (ICPC, 2017)

CyanDroid: stable and effective energy inefficiency diagnosis for Android apps. - Qiwei Li; Chang Xu 001; Yepang Liu 001; Chun Cao; Xiaoxing Ma; Jian Lü 001 (Sci. China Inf. Sci., 2017)

一种面向功能类似程序的高效克隆检测技术 (Efficient Clone Detection Technique for Functionally Similar Programs). - Jiaxing Dong; Chang Xu 001 (计算机科学, 2017)

How effectively can spreadsheet anomalies be detected: An empirical study. - Ruiqing Zhang; Chang Xu 001; Shing-Chi Cheung; Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (J. Syst. Softw., 2017)

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. - Wensheng Dou; Chang Xu 001; Shing-Chi Cheung; Jun Wei 001 (IEEE Trans. Software Eng., 2017)

Needle: detecting code plagiarism on student submissions. - Yanyan Jiang 001; Chang Xu 001 (TURC, 2018)

ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. - Cong Li; Chang Xu 001; Lili Wei 001; Jue Wang; Jun Ma 010; Jian Lu 001 (APSEC, 2018)

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. - Tianxiao Gu; Xiaoxing Ma; Chang Xu 001; Yanyan Jiang 001; Chun Cao; Jian Lu 001 (ECOOP, 2018)

Synthesizing relation-aware entity transformation by examples. - Jiarong Wu; Yanyan Jiang 001; Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Jian Lu 001 (ICSE (Companion Volume), 2018)

RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features. - Shengtao Yue; Qingwei Sun; Jun Ma 010; Xianping Tao; Chang Xu 001; Jian Lu 001 (ICSME, 2018)

LESdroid: a tool for detecting exported service leaks of Android applications. - Jun Ma 010; Shaocong Liu; Yanyan Jiang 001; Xianping Tao; Chang Xu 001; Jian Lu 001 (ICPC, 2018)

ReScue: crafting regular expression DoS attacks. - Yuju Shen; Yanyan Jiang 001; Chang Xu 001; Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (ASE, 2018)

Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. - Dawei Cheng; Chun Cao; Chang Xu 001; Xiaoxing Ma (QRS, 2018)

SynEva: Evaluating ML Programs by Mirror Program Synthesis. - Yi Qin 002; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (QRS, 2018)

Testing multithreaded programs via thread speed control. - Dongjie Chen; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ESEC/SIGSOFT FSE, 2018)

NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications. - Yi Liu; Jue Wang; Chang Xu 001; Xiaoxing Ma; Jian Lü 001 (Sci. China Inf. Sci., 2018)

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. - Yi Qin 002; Tao Xie 001; Chang Xu 001; Angello Astorga; Jian Lu 001 (CoRR, 2018)

Preface. - Tao Xie 001; He Jiang 001; Ge Li 001; Tianyu Wo; Rahul Pandita; Chang Xu 001; Lihua Xu (J. Comput. Sci. Technol., 2018)

Efficient validation of self-adaptive applications by counterexample probability maximization. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Chun Cao; Xiaoxing Ma; Jian Lu 001 (J. Syst. Softw., 2018)

AATT+: Effectively manifesting concurrency bugs in Android apps. - Jue Wang; Yanyan Jiang 001; Chang Xu 001; Qiwei Li; Tianxiao Gu; Jun Ma 010; Xiaoxing Ma; Jian Lu 001 (Sci. Comput. Program., 2018)

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Xiaoxing Ma; Jian Lu 001 (ACM Trans. Internet Techn., 2018)

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. - Ziqi Chen; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Chun Cao (APSEC, 2019)

Practical GUI testing of Android applications via model abstraction and refinement. - Tianxiao Gu; Chengnian Sun; Xiaoxing Ma; Chun Cao; Chang Xu 001; Yuan Yao 001; Qirun Zhang; Jian Lu 001; Zhendong Su 001 (ICSE, 2019)

Structural coverage criteria for neural networks could be misleading. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Chun Cao (ICSE (NIER), 2019)

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. - Da Li; Huiyan Wang 001; Chang Xu 001; Ruiqing Zhang; Shing-Chi Cheung; Xiaoxing Ma (ASE, 2019)

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. - Da Li; Huiyan Wang 001; Chang Xu 001; Fengmin Shi; Xiaoxing Ma; Jian Lu 001 (QRS, 2019)

Boosting operational DNN testing efficiency through conditioning. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Chun Cao; Jingwei Xu 001; Jian Lü 001 (ESEC/SIGSOFT FSE, 2019)

Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. - Wenjie Li; Yanyan Jiang 001; Chang Xu 001; Yepang Liu 001; Xiaoxing Ma; Jian Lu 001 (SANER, 2019)

DroidLeaks: a comprehensive database of resource leaks in Android apps. - Yepang Liu 001; Jue Wang; Lili Wei 001; Chang Xu 001; Shing-Chi Cheung; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (Empir. Softw. Eng., 2019)

Preface. - Tao Xie 001; Jun Wei 001; Chang Xu 001; Zhi Jin; Xiaoxing Ma (J. Comput. Sci. Technol., 2019)

Testing file system implementations on layered models. - Dongjie Chen; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

Dissector: input validation for deep learning applications by crossing-layer dissection. - Huiyan Wang 001; Jingwei Xu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

ComboDroid: generating high-quality test inputs for Android apps via use case combinations. - Jue Wang; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

Watchman: monitoring dependency conflicts for Python library ecosystem. - Ying Wang 038; Ming Wen 001; Yepang Liu 001; Yibo Wang 008; Zhenming Li; Chao Wang; Hai Yu 001; Shing-Chi Cheung; Chang Xu 001; Zhiliang Zhu 001 (ICSE, 2020)

M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving. - Yingzhuo Yang; Chang Xu 001 (ICSE (Workshops), 2020)

Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments. - Jinchi Chen; Yi Qin 002; Huiyan Wang 001; Chang Xu 001 (Internetware, 2020)

Operational calibration: debugging confidence errors for DNNs in the field. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Jingwei Xu 001; Chun Cao; Jian Lu 001 (ESEC/SIGSOFT FSE, 2020)

Perspectives on search strategies in automated test input generation. - Yang Cao; Yanyan Jiang 001; Chang Xu 001; Jun Ma 010; Xiaoxing Ma (Frontiers Comput. Sci., 2020)

智能化信息物理系统中非确定性的分类研究 (Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems). - Wenhua Yang 001; Chang Xu 001; Haibo Ye; Yu Zhou 010; Zhiqiu Huang (计算机科学, 2020)

WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements. - Yicheng Huang; Chang Xu 001; Yanyan Jiang 001; Huiyan Wang 001; Da Li (J. Syst. Softw., 2020)

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. - Yi Qin 002; Tao Xie 001; Chang Xu 001; Angello Astorga; Jian Lu 001 (IEEE Trans. Reliab., 2020)

Automatic Performance Testing for Image Displaying in Android Apps. - Wenjie Li; Yanyan Jiang 001; Jun Ma 010; Chang Xu 001 (APSEC, 2021)

HERO: On the Chaos When PATH Meets Modules. - Ying Wang 038; Liang Qiao 002; Chang Xu 001; Yepang Liu 001; Shing-Chi Cheung; Na Meng 001; Hai Yu 001; Zhiliang Zhu 001 (ICSE, 2021)

Synthesizing Object State Transformers for Dynamic Software Updates. - Zelin Zhao; Yanyan Jiang 001; Chang Xu 001; Tianxiao Gu; Xiaoxing Ma (ICSE, 2021)

PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. - Zelin Zhao; Yanyan Jiang 001; Chang Xu 001; Tianxiao Gu; Xiaoxing Ma (ICSE (Companion Volume), 2021)

Timely and accurate detection of model deviation in self-adaptive software-intensive systems. - Yanxiang Tong; Yi Qin 002; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma (ESEC/SIGSOFT FSE, 2021)

Joint Distribution across Representation Space for Out-of-Distribution Detection. - Jingwei Xu 001; Siyuan Zhu; Zenan Li; Chang Xu 001 (CoRR, 2021)

On interleaving space exploration of multi-threaded programs. - Dongjie Chen; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma (Frontiers Comput. Sci., 2021)

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint. - Shuguan Liu; Huiyan Wang 001; Chang Xu 001 (Inf. Softw. Technol., 2021)

Towards effective metamorphic testing by algorithm stability for linear classification programs. - Yingzhuo Yang; Zenan Li; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma (J. Syst. Softw., 2021)

Making pointer analysis more precise by unleashing the power of selective context sensitivity. - Tian Tan 001; Yue Li 006; Xiaoxing Ma; Chang Xu 001; Yannis Smaragdakis (Proc. ACM Program. Lang., 2021)

Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. - Huiyan Wang 001; Chang Xu 001; Bingying Guo; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Software Eng., 2021)

Push-Button Synthesis of Watch Companions for Android Apps. - Cong Li; Yanyan Jiang 001; Chang Xu 001 (ICSE, 2022)

INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. - Lingyu Zhang 005; Huiyan Wang 001; Chang Xu 001; Ping Yu 004 (ICSME, 2022)

Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. - Chuyang Chen; Huiyan Wang 001; Lingyu Zhang 005; Chang Xu 001; Ping Yu 004 (ISSRE, 2022)

Cross-device record and replay for Android apps. - Cong Li; Yanyan Jiang 001; Chang Xu 001 (ESEC/SIGSOFT FSE, 2022)

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. - Jue Wang; Yanyan Jiang 001; Ting Su 001; Shaohua Li 002; Chang Xu 001; Jian Lu 001; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2022)

Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments. - Jin-Chi Chen; Yi Qin 002; Huiyan Wang 001; Chang Xu 001 (J. Comput. Sci. Technol., 2022)

GridDroid - An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface. - Jun Ma 010; Qingwei Sun; Chang Xu 001; XianPing Tao (J. Comput. Sci. Technol., 2022)

Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow. - Wenhua Yang 001; Chong Zhang; Minxue Pan; Chang Xu 001; Yu Zhou 010; Zhiqiu Huang (ACM Trans. Softw. Eng. Methodol., 2022)

Will Dependency Conflicts Affect My Program's Semantics? - Ying Wang 038; Rongxin Wu; Chao Wang; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung; Hai Yu 001; Chang Xu 001; Zhiliang Zhu 001 (IEEE Trans. Software Eng., 2022)

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. - Huiyan Wang 001; Shuguan Liu; Lingyu Zhang 005; Chang Xu 001 (ESEC/SIGSOFT FSE, 2023)

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. - Wenjie Ma; Shengyuan Yang; Tian Tan 001; Xiaoxing Ma; Chang Xu 001; Yue Li 006 (Proc. ACM Program. Lang., 2023)

Growing Software: Objective, Methodology, and Technology. - Jian Lu 001; Chang Xu 001; Xiaoxing Ma; Bin Hu 001 (IEEE Trans. Comput. Soc. Syst., 2023)

Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem. - Ying Wang 038; Peng Sun; Lin Pei; Yue Yu 001; Chang Xu 001; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (IEEE Trans. Software Eng., 2023)

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. - Ying Wang 038; Yibo Wang 008; Sinan Wang; Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (IEEE Trans. Software Eng., 2023)

Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Yu Zhou 010; Zhiqiu Huang (IEEE Trans. Reliab., 2023)

Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis. - Huiyan Wang 001; Ziqi Chen; Chang Xu 001 (Autom. Softw. Eng., 2023)

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. - Qinlin Chen; Nairen Zhang; Jinpeng Wang; Tian Tan 001; Chang Xu 001; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2023)

Harnessing Edge Information for Improved Robustness in Vision Transformers. - Yanxi Li 001; Chengbin Du; Chang Xu 001 (AAAI, 2024)

The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators. - Xianfei Ou; Cong Li; Yanyan Jiang 001; Chang Xu 001 (ASPLOS (4), 2024)

Towards Life-long Software Self-validation in Production. - Daohan Qu; Chaoyi Zhao; Yanyan Jiang 001; Chang Xu 001 (Internetware, 2024)

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models. - Jialun Cao; Zhiyong Chen; Jiarong Wu; Shing-Chi Cheung; Chang Xu 001 (ASE, 2024)

Understanding Robustness of Visual State Space Models for Image Classification. - Chengbin Du; Yanxi Li 001; Chang Xu 001 (CoRR, 2024)

Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench. - Jialun Cao; Zhiyong Chen; Jiarong Wu; Shing-Chi Cheung; Chang Xu 001 (CoRR, 2024)

Incremental-concurrent fusion checking for efficient context consistency. - Lingyu Zhang 005; Huiyan Wang 001; Chuyang Chen; Chang Xu 001; Ping Yu 004 (J. Syst. Softw., 2024)

Programming by Example Made Easy. - Jiarong Wu; Lili Wei 001; Yanyan Jiang 001; Shing-Chi Cheung; Luyao Ren; Chang Xu 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Understanding and Detecting Inefficient Image Displaying Issues in Android Apps. - Wenjie Li; Jun Ma 010; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma (J. Comput. Sci. Technol., 2024)

Understanding the Linux Kernel, Visually. - Hanzhi Liu; Yanyan Jiang 001; Chang Xu 001 (EuroSys, 2025)

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. - Chenxi Zhang; Yufei Liang; Tian Tan 001; Chang Xu 001; Shuangxiang Kan; Yulei Sui; Yue Li 006 (ICSE, 2025)

Pointer Analysis for Database-Backed Applications. - Yufei Liang; Teng Zhang; Ganlin Li; Tian Tan 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2025)

Bridge the Islands: Pointer Analysis for Microservice Systems. - Teng Zhang; Yufei Liang; Ganlin Li; Tian Tan 001; Chang Xu 001; Yue Li 006 (Proc. ACM Softw. Eng., 2025)

Validating JIT Compilers via Compilation Space Exploration. - Cong Li; Yanyan Jiang 001; Chang Xu 001; Zhendong Su 001 (ACM Trans. Comput. Syst., 2025)

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. - Chuyang Chen; Huiyan Wang 001; Lingyu Zhang 005; Chang Xu 001; Ping Yu 004 (Softw. Test. Verification Reliab., 2025)

Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces. - Jiarong Wu; Yanyan Jiang 001; Lili Wei 001; Congying Xu; Shing-Chi Cheung; Chang Xu 001 (IEEE Trans. Software Eng., 2025)