Chang Xu

According to our database, Chang Xu authored at least 147 papers between 2003 and 2024.

Collaborative distances:

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

2024

Programming by Example Made Easy.

Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu

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

Incremental-concurrent fusion checking for efficient context consistency.

Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu

J. Syst. Softw., January, 2024

Understanding Robustness of Visual State Space Models for Image Classification.

Chengbin Du, Yanxi Li, Chang Xu

CoRR, 2024

Harnessing Edge Information for Improved Robustness in Vision Transformers.

Yanxi Li, Chengbin Du, Chang Xu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li

Proc. ACM Program. Lang., October, 2023

Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis.

Huiyan Wang, Ziqi Chen, Chang Xu

Autom. Softw. Eng., June, 2023

Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty.

Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, Zhiqiu Huang

IEEE Trans. Reliab., March, 2023

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward.

Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu

IEEE Trans. Software Eng., 2023

Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem.

Ying Wang, Peng Sun, Lin Pei, Yue Yu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu

IEEE Trans. Software Eng., 2023

Growing Software: Objective, Methodology, and Technology.

Jian Lu, Chang Xu, Xiaoxing Ma, Bin Hu

IEEE Trans. Comput. Soc. Syst., 2023

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.

Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li

Proc. ACM Program. Lang., 2023

Validating JIT Compilers via Compilation Space Exploration.

Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints.

Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Will Dependency Conflicts Affect My Program's Semantics?

Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu

IEEE Trans. Software Eng., 2022

Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow.

Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, Zhiqiu Huang

ACM Trans. Softw. Eng. Methodol., 2022

GridDroid - An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface.

Jun Ma, Qingwei Sun, Chang Xu, XianPing Tao

J. Comput. Sci. Technol., 2022

Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments.

Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu

J. Comput. Sci. Technol., 2022

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.

Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Cross-device record and replay for Android apps.

Cong Li, Yanyan Jiang, Chang Xu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection.

Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion.

Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Push-Button Synthesis of Watch Companions for Android Apps.

Cong Li, Yanyan Jiang, Chang Xu

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.

Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu

IEEE Trans. Software Eng., 2021

Making pointer analysis more precise by unleashing the power of selective context sensitivity.

Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis

Proc. ACM Program. Lang., 2021

Towards effective metamorphic testing by algorithm stability for linear classification programs.

Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, Xiaoxing Ma

J. Syst. Softw., 2021

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint.

Shuguan Liu, Huiyan Wang, Chang Xu

Inf. Softw. Technol., 2021

On interleaving space exploration of multi-threaded programs.

Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma

Frontiers Comput. Sci., 2021

Joint Distribution across Representation Space for Out-of-Distribution Detection.

Jingwei Xu, Siyuan Zhu, Zenan Li, Chang Xu

CoRR, 2021

Timely and accurate detection of model deviation in self-adaptive software-intensive systems.

Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

PASTA: Synthesizing Object State Transformers for Dynamic Software Updates.

Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Synthesizing Object State Transformers for Dynamic Software Updates.

Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

HERO: On the Chaos When PATH Meets Modules.

Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Automatic Performance Testing for Image Displaying in Android Apps.

Wenjie Li, Yanyan Jiang, Jun Ma, Chang Xu

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.

Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu

IEEE Trans. Reliab., 2020

WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements.

Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, Da Li

J. Syst. Softw., 2020

智能化信息物理系统中非确定性的分类研究 (Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems).

Wenhua Yang, Chang Xu, Haibo Ye, Yu Zhou, Zhiqiu Huang

计算机科学, 2020

Perspectives on search strategies in automated test input generation.

Yang Cao, Yanyan Jiang, Chang Xu, Jun Ma, Xiaoxing Ma

Frontiers Comput. Sci., 2020

Operational calibration: debugging confidence errors for DNNs in the field.

Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments.

Jinchi Chen, Yi Qin, Huiyan Wang, Chang Xu

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving.

Yingzhuo Yang, Chang Xu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Watchman: monitoring dependency conflicts for Python library ecosystem.

Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, Zhenming Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, Zhiliang Zhu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

ComboDroid: generating high-quality test inputs for Android apps via use case combinations.

Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Dissector: input validation for deep learning applications by crossing-layer dissection.

Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Testing file system implementations on layered models.

Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Preface.

Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma

J. Comput. Sci. Technol., 2019

DroidLeaks: a comprehensive database of resource leaks in Android apps.

Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang

Empir. Softw. Eng., 2019

Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps.

Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, Jian Lu

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

Boosting operational DNN testing efficiency through conditioning.

Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.

Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu

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

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.

Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Structural coverage criteria for neural networks could be misleading.

Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Practical GUI testing of Android applications via model abstraction and refinement.

Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su

Proceedings of the 41st International Conference on Software Engineering, 2019

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.

Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.

Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu

ACM Trans. Internet Techn., 2018

AATT+: Effectively manifesting concurrency bugs in Android apps.

Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu

Sci. Comput. Program., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.

Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu

J. Syst. Softw., 2018

Preface.

Tao Xie, He Jiang, Ge Li, Tianyu Wo, Rahul Pandita, Chang Xu, Lihua Xu

J. Comput. Sci. Technol., 2018

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.

Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu

CoRR, 2018

NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications.

Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma, Jian Lü

Sci. China Inf. Sci., 2018

Testing multithreaded programs via thread speed control.

Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SynEva: Evaluating ML Programs by Mirror Program Synthesis.

Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing.

Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

ReScue: crafting regular expression DoS attacks.

Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

LESdroid: a tool for detecting exported service leaks of Android applications.

Jun Ma, Shaocong Liu, Yanyan Jiang, Xianping Tao, Chang Xu, Jian Lu

Proceedings of the 26th Conference on Program Comprehension, 2018

RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features.

Shengtao Yue, Qingwei Sun, Jun Ma, Xianping Tao, Chang Xu, Jian Lu

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

Synthesizing relation-aware entity transformation by examples.

Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.

Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps.

Cong Li, Chang Xu, Lili Wei, Jue Wang, Jun Ma, Jian Lu

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

Needle: detecting code plagiarism on student submissions.

Yanyan Jiang, Chang Xu

Proceedings of ACM Turing Celebration Conference - China, 2018

2017

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets.

Wensheng Dou, Chang Xu, S. C. Cheung, Jun Wei

IEEE Trans. Software Eng., 2017

How effectively can spreadsheet anomalies be detected: An empirical study.

Ruiqing Zhang, Chang Xu, S. C. Cheung, Ping Yu, Xiaoxing Ma, Jian Lu

J. Syst. Softw., 2017

一种面向功能类似程序的高效克隆检测技术 (Efficient Clone Detection Technique for Functionally Similar Programs).

Jiaxing Dong, Chang Xu

计算机科学, 2017

CyanDroid: stable and effective energy inefficiency diagnosis for Android apps.

Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lü

Sci. China Inf. Sci., 2017

RepDroid: an automated tool for Android application repackaging detection.

Shengtao Yue, Weizan Feng, Jun Ma, Yanyan Jiang, XianPing Tao, Chang Xu, Jian Lu

Proceedings of the 25th International Conference on Program Comprehension, 2017

NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications.

Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma

Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.

Bingying Guo, Huiyan Wang, Chang Xu, Jian Lu

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Synthesizing object transformation for dynamic software updating.

Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

SIT: Sampling-based interactive testing for self-adaptive apps.

Yi Qin, Chang Xu, Ping Yu, Jian Lu

J. Syst. Softw., 2016

Suppressing detection of inconsistency hazards with pattern learning.

Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, Jian Lu

Inf. Softw. Technol., 2016

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu

Inf. Softw. Technol., 2016

DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications.

Yepang Liu, Lili Wei, Chang Xu, Shing-Chi Cheung

CoRR, 2016

Understanding and detecting wake lock misuses for Android applications.

Yepang Liu, Chang Xu, Shing-Chi Cheung, Valerio Terragni

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Detecting table clones and smells in spreadsheets.

Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, Jun Wei

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Online shared memory dependence reduction via bisectional coordination.

Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Crash consistency validation made easy.

Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.

Huiyan Wang, Chang Xu, Jun Sui, Jian Lu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Verifying Distributed Controllers with Local Invariants.

Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

E-greenDroid: effective energy inefficiency analysis for android applications.

Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features.

Shing-Chi Cheung, Wanjun Chen, Yepang Liu, Chang Xu

Proceedings of the 38th International Conference on Software Engineering, 2016

CURE: Automated Patch Generation for Dynamic Software Update.

Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Testing Android Apps via Guided Gesture Event Generation.

Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Effectively Manifesting Concurrency Bugs in Android Apps.

Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Improving Reliability of Dynamic Software Updating Using Runtime Recovery.

Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, Jian Lu

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Cina: Suppressing the Detection of Unstable Context Inconsistency.

Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu

IEEE Trans. Software Eng., 2015

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications.

Yepang Liu, Chang Xu, Shing-Chi Cheung

IEEE Softw., 2015

SEES Summary: Software Engineering Educators Symposium 2014.

Chang Xu, Laura K. Dillon

ACM SIGSOFT Softw. Eng. Notes, 2015

小车远程控制及自主寻路系统的设计与实现 (Design and Implementation of Vehicle Remote Control and Independent Way-finding System).

Xiaofan Li, Chang Xu

计算机科学, 2015

A survey on dependability improvement techniques for pervasive computing systems.

Wenhua Yang, Yepang Liu, Chang Xu, Shing-Chi Cheung

Sci. China Inf. Sci., 2015

An Event-Based Formal Framework for Dynamic Software Update.

Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Optimistic Shared Memory Dependence Tracing (T).

Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Facilitating Reusable and Scalable Automated Testing and Analysis for Android Apps.

Zhanshuai Meng, Yanyan Jiang, Chang Xu

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps.

Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu

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

Concolic Metamorphic Debugging.

Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu

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

ABC: Accelerated Building of C/C++ Projects.

Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.

Yepang Liu, Chang Xu, Shing-Chi Cheung, Jian Lu

IEEE Trans. Software Eng., 2014

Low-disruptive dynamic updating of Java applications.

Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lü

Inf. Softw. Technol., 2014

CHECKERDROID : Automated Quality Assurance for Smartphone Applications.

Yepang Liu, Chang Xu, S. C. Cheung, Wenhua Yang

Int. J. Softw. Informatics, 2014

Automatically generated patches as debugging aids: a human study.

Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Verifying self-adaptive applications suffering uncertainty.

Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Automated recommendation of dynamic software update points: an exploratory study.

Zelin Zhao, Xiaoxing Ma, Chang Xu, Wenhua Yang

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Characterizing and detecting performance bugs for smartphone applications.

Yepang Liu, Chang Xu, Shing-Chi Cheung

Proceedings of the 36th International Conference on Software Engineering, 2014

CARE: cache guided deterministic replay for concurrent Java programs.

Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 36th International Conference on Software Engineering, 2014

SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning.

Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, Jiang Lu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

GAIN: GPU-Based Constraint Checking for Context Consistency.

Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

User Guided Automation for Testing Mobile Apps.

Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

AFChecker: Effective model checking for context-aware adaptive applications.

Yepang Liu, Chang Xu, S. C. Cheung

J. Syst. Softw., 2013

Detecting Faults in Context-Aware Adaptation.

Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, Jian Lv

Int. J. Softw. Informatics, 2013

Towards context consistency by concurrent checking for Internetware applications.

Chang Xu, Yepang Liu, S. C. Cheung, Chun Cao, Jian Lv

Sci. China Inf. Sci., 2013

Where has my battery gone? Finding sensor related energy black holes in smartphone applications.

Yepang Liu, Chang Xu, S. C. Cheung

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications, 2013

IDEA: improving dependability for self-adaptive applications.

Wenhua Yang, Chang Xu, Linghao Zhang

Proceedings of the 2013 Middleware Doctoral Symposium, 2013

VeriDroid: automating Android application verification.

Yepang Liu, Chang Xu

Proceedings of the 2013 Middleware Doctoral Symposium, 2013

DPAC: an infrastructure for dynamic program analysis of concurrency Java programs.

Yanyan Jiang, Chang Xu, Xiaoxing Ma

Proceedings of the 2013 Middleware Doctoral Symposium, 2013

Environment rematching: Toward dependability improvement for self-adaptive applications.

Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lu

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Challenges in developing software for cyber-physical systems.

Linghao Zhang, Hui Sun, Xiaoxing Ma, Chang Xu, Jian Lu

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.

Jian Lü, Yu Huang, Chang Xu, Xiaoxing Ma

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Adam: Identifying defects in context-aware adaptation.

Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, Jian Lu

J. Syst. Softw., 2012

Dynamic fault detection in context-aware adaptation.

Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu

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

ConsView: Towards Application-Specific Consistent Context Views.

Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, Jian Lu

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

Resynchronizing Model-Based Self-Adaptive Systems with Environments.

Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu

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

Javelus: A Low Disruptive Approach to Dynamic Software Updates.

Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu

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

2011

Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing.

Chang Xu, Xiaoxing Ma, Chun Cao, Jian Lu

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011

2010

Partial constraint checking for context consistency in pervasive computing.

Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye

ACM Trans. Softw. Eng. Methodol., 2010

Sequential Event Pattern Based Design of Context-Aware Adaptive Application.

Chushu Gao, Jun Wei, Chang Xu, S. C. Cheung

Int. J. Softw. Informatics, 2010

Data-driven testing methodology for RFID systems.

An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu

Frontiers Comput. Sci. China, 2010

Sequential event pattern based context-aware adaptation.

Chushu Gao, Jun Wei, Chang Xu, S. C. Cheung

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

2009

Atomicity Analysis of Service Composition across Organizations.

Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu

IEEE Trans. Software Eng., 2009

2008

Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications.

Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007

Detection and resolution of atomicity violation in service composition.

Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

On impact-oriented automatic resolution of pervasive context inconsistency.

Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Goal-Directed Context Validation for Adaptive Ubiquitous Systems.

Chang Xu, Shing-Chi Cheung, Wing Kwong Chan

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

2006

Local analysis of atomicity sphere for B2B collaboration.

Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Incremental consistency checking for pervasive context.

Chang Xu, Shing-Chi Cheung, W. K. Chan

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Inconsistency detection and resolution for context-aware middleware support.

Chang Xu, Shing-Chi Cheung

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2004

Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications.

Chang Xu, Shing-Chi Cheung, Cindy Lo, Ka-Chung Leung, Jun Wei

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004

Semantic Interpretation and Matching of Web Services.

Chang Xu, Shing-Chi Cheung, Xiangye Xiao

Proceedings of the Conceptual Modeling, 2004

Building Extensible and High Performance Distributed Transaction Service.

Xin Zhang, Chang Xu, Beihong Jin

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Conformance Test of Distributed Transaction Service.

Chang Xu, Beihong Jin

Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003