![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Chang Xu 0001
Person information
- affiliation: Nanjing University, Department of Computer Science and Technology / State Key Laboratory for Novel Software Technology, China
- affiliation (PhD 2010): Hong Kong University of Science and Technology, Department of Computer Science and Engineering, Hong Kong
Other persons with the same name
- Chang Xu — disambiguation page
- Chang Xu 0002
(aka: Charles Xu 0002) — University of Sydney, School of Information Technologies, UBTECH Sydney Artificial Intelligence Centre, NSW, Australia (and 1 more)
- Chang Xu 0003 — Nanyang Technological University, School of Computer Science and Engineering, Singapore
- Chang Xu 0004
— Beijing Institute of Technology, School of Computer Science and Technology, China (and 1 more)
- Chang Xu 0005 — IBM China Research Labs (and 1 more)
- Chang Xu 0006 — Purdue University
- Chang Xu 0007
— Chinese Academy of Sciences, Shanghai Institute of Microsystem and Information Technology, China
- Chang Xu 0008 — Microsoft Research Asia, Beijing, China (and 1 more)
- Chang Xu 0009
— QIAGEN, Frederick , MD, USA (and 1 more)
- Chang Xu 0010
— Zhejiang University of Water Resources and Electric Power, School of Geomatics and Municipal Engineering, Hangzhou, China (and 1 more)
- Chang Xu 0011
— Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, China
- Chang Xu 0012
— University of Virginia, School of Engineering and Applied Science, Charlottesville, VA, USA
Refine list
![note](https://dblp.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
- [j53]Wenjie Li, Jun Ma, Yanyan Jiang, Chang Xu, Xiaoxing Ma:
Understanding and Detecting Inefficient Image Displaying Issues in Android Apps. J. Comput. Sci. Technol. 39(2): 434-459 (2024) - [j52]Lingyu Zhang, Huiyan Wang
, Chuyang Chen, Chang Xu, Ping Yu
:
Incremental-concurrent fusion checking for efficient context consistency. J. Syst. Softw. 207: 111852 (2024) - [j51]Jiarong Wu
, Lili Wei
, Yanyan Jiang
, Shing-Chi Cheung
, Luyao Ren
, Chang Xu
:
Programming by Example Made Easy. ACM Trans. Softw. Eng. Methodol. 33(1): 4:1-4:36 (2024) - [c92]Yanxi Li, Chengbin Du, Chang Xu:
Harnessing Edge Information for Improved Robustness in Vision Transformers. AAAI 2024: 3252-3260 - [c91]Daohan Qu
, Chaoyi Zhao
, Yanyan Jiang
, Chang Xu
:
Towards Life-long Software Self-validation in Production. Internetware 2024 - [i12]Chengbin Du, Yanxi Li, Chang Xu:
Understanding Robustness of Visual State Space Models for Image Classification. CoRR abs/2403.10935 (2024) - [i11]Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu:
Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench. CoRR abs/2406.12902 (2024) - 2023
- [j50]Huiyan Wang, Ziqi Chen, Chang Xu:
Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis. Autom. Softw. Eng. 30(1): 9 (2023) - [j49]Qinlin Chen
, Nairen Zhang
, Jinpeng Wang
, Tian Tan
, Chang Xu
, Xiaoxing Ma
, Yue Li
:
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proc. ACM Program. Lang. 7(OOPSLA2): 234-263 (2023) - [j48]Wenjie Ma
, Shengyuan Yang
, Tian Tan
, Xiaoxing Ma
, Chang Xu
, Yue Li
:
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. Proc. ACM Program. Lang. 7(PLDI): 539-564 (2023) - [j47]Jian Lu, Chang Xu
, Xiaoxing Ma
, Bin Hu
:
Growing Software: Objective, Methodology, and Technology. IEEE Trans. Comput. Soc. Syst. 10(3): 833-842 (2023) - [j46]Wenhua Yang
, Chang Xu
, Minxue Pan
, Yu Zhou
, Zhiqiu Huang
:
Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. IEEE Trans. Reliab. 72(1): 289-301 (2023) - [j45]Ying Wang
, Yibo Wang, Sinan Wang, Yepang Liu
, Chang Xu
, Shing-Chi Cheung
, Hai Yu
, Zhiliang Zhu:
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. IEEE Trans. Software Eng. 49(1): 185-210 (2023) - [j44]Ying Wang
, Peng Sun
, Lin Pei, Yue Yu
, Chang Xu
, Shing-Chi Cheung
, Hai Yu
, Zhiliang Zhu:
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem. IEEE Trans. Software Eng. 49(5): 3155-3181 (2023) - [c90]Huiyan Wang
, Shuguan Liu
, Lingyu Zhang
, Chang Xu
:
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. ESEC/SIGSOFT FSE 2023: 198-210 - [c89]Cong Li
, Yanyan Jiang
, Chang Xu
, Zhendong Su
:
Validating JIT Compilers via Compilation Space Exploration. SOSP 2023: 66-79 - [i10]Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li:
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. CoRR abs/2304.12034 (2023) - [i9]Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu:
Programming by Example Made Easy. CoRR abs/2307.07965 (2023) - 2022
- [j43]Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu:
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments. J. Comput. Sci. Technol. 37(1): 83-105 (2022) - [j42]Jun Ma, Qingwei Sun, Chang Xu, XianPing Tao:
GridDroid - An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface. J. Comput. Sci. Technol. 37(1): 147-181 (2022) - [j41]Wenhua Yang
, Chong Zhang, Minxue Pan
, Chang Xu, Yu Zhou
, Zhiqiu Huang:
Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow. ACM Trans. Softw. Eng. Methodol. 31(3): 44:1-44:29 (2022) - [j40]Ying Wang
, Rongxin Wu
, Chao Wang, Ming Wen
, Yepang Liu
, Shing-Chi Cheung
, Hai Yu
, Chang Xu
, Zhiliang Zhu:
Will Dependency Conflicts Affect My Program's Semantics? IEEE Trans. Software Eng. 48(7): 2295-2316 (2022) - [c88]Cong Li, Yanyan Jiang, Chang Xu:
Push-Button Synthesis of Watch Companions for Android Apps. ICSE 2022: 1793-1804 - [c87]Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu
:
INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. ICSME 2022: 187-198 - [c86]Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
:
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. ISSRE 2022: 13-24 - [c85]Cong Li, Yanyan Jiang, Chang Xu:
Cross-device record and replay for Android apps. ESEC/SIGSOFT FSE 2022: 395-407 - [c84]Jue Wang
, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su:
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. ESEC/SIGSOFT FSE 2022: 434-446 - 2021
- [j39]Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma:
On interleaving space exploration of multi-threaded programs. Frontiers Comput. Sci. 15(4): 154206 (2021) - [j38]Shuguan Liu, Huiyan Wang
, Chang Xu
:
TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint. Inf. Softw. Technol. 138: 106611 (2021) - [j37]Yingzhuo Yang
, Zenan Li
, Huiyan Wang, Chang Xu, Xiaoxing Ma:
Towards effective metamorphic testing by algorithm stability for linear classification programs. J. Syst. Softw. 180: 111012 (2021) - [j36]Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis:
Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j35]Huiyan Wang
, Chang Xu
, Bingying Guo
, Xiaoxing Ma
, Jian Lu:
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. IEEE Trans. Software Eng. 47(3): 464-497 (2021) - [c83]Wenjie Li, Yanyan Jiang, Jun Ma, Chang Xu:
Automatic Performance Testing for Image Displaying in Android Apps. APSEC 2021: 317-326 - [c82]Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung
, Na Meng, Hai Yu, Zhiliang Zhu:
HERO: On the Chaos When PATH Meets Modules. ICSE 2021: 99-111 - [c81]Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma:
PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. ICSE (Companion Volume) 2021: 211-212 - [c80]Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma:
Synthesizing Object State Transformers for Dynamic Software Updates. ICSE 2021: 1111-1122 - [c79]Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma:
Timely and accurate detection of model deviation in self-adaptive software-intensive systems. ESEC/SIGSOFT FSE 2021: 168-180 - [i8]Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu:
Hero: On the Chaos When PATH Meets Modules. CoRR abs/2102.12105 (2021) - [i7]Jingwei Xu, Siyuan Zhu, Zenan Li, Chang Xu:
Joint Distribution across Representation Space for Out-of-Distribution Detection. CoRR abs/2103.12344 (2021) - [i6]Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. CoRR abs/2106.13012 (2021) - 2020
- [j34]Yang Cao, Yanyan Jiang, Chang Xu, Jun Ma, Xiaoxing Ma:
Perspectives on search strategies in automated test input generation. Frontiers Comput. Sci. 14(3): 143202 (2020) - [j33]Wenhua Yang, Chang Xu, Haibo Ye, Yu Zhou, Zhiqiu Huang:
智能化信息物理系统中非确定性的分类研究 (Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems). 计算机科学 47(3): 11-18 (2020) - [j32]Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, Da Li:
WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements. J. Syst. Softw. 167: 110615 (2020) - [j31]Yi Qin
, Tao Xie, Chang Xu
, Angello Astorga, Jian Lu:
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Trans. Reliab. 69(1): 106-123 (2020) - [c78]Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, Zhenming Li, Chao Wang, Hai Yu, Shing-Chi Cheung
, Chang Xu, Zhiliang Zhu:
Watchman: monitoring dependency conflicts for Python library ecosystem. ICSE 2020: 125-135 - [c77]Yingzhuo Yang, Chang Xu:
M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving. ICSE (Workshops) 2020: 404-409 - [c76]Jue Wang
, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu:
ComboDroid: generating high-quality test inputs for Android apps via use case combinations. ICSE 2020: 469-480 - [c75]Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu:
Dissector: input validation for deep learning applications by crossing-layer dissection. ICSE 2020: 727-738 - [c74]Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu:
Testing file system implementations on layered models. ICSE 2020: 1483-1495 - [c73]Jinchi Chen, Yi Qin, Huiyan Wang, Chang Xu:
Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments. Internetware 2020: 146-155 - [c72]Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lu:
Operational calibration: debugging confidence errors for DNNs in the field. ESEC/SIGSOFT FSE 2020: 901-913 - [i5]Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu:
Will Dependency Conflicts Affect My Program's Semantics? CoRR abs/2006.07633 (2020)
2010 – 2019
- 2019
- [j30]Yepang Liu
, Jue Wang
, Lili Wei, Chang Xu, Shing-Chi Cheung
, Tianyong Wu, Jun Yan, Jian Zhang:
DroidLeaks: a comprehensive database of resource leaks in Android apps. Empir. Softw. Eng. 24(6): 3435-3483 (2019) - [j29]Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma:
Preface. J. Comput. Sci. Technol. 34(5): 939-941 (2019) - [c71]Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao:
VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. APSEC 2019: 78-85 - [c70]Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao:
Structural coverage criteria for neural networks could be misleading. ICSE (NIER) 2019: 89-92 - [c69]Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang
, Jian Lu, Zhendong Su
:
Practical GUI testing of Android applications via model abstraction and refinement. ICSE 2019: 269-280 - [c68]Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung
, Xiaoxing Ma:
SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. ASE 2019: 1142-1145 - [c67]Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu:
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. QRS 2019: 139-150 - [c66]Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü:
Boosting operational DNN testing efficiency through conditioning. ESEC/SIGSOFT FSE 2019: 499-509 - [c65]Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, Jian Lu:
Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. SANER 2019: 355-365 - [i4]Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu:
Boosting Operational DNN Testing Efficiency through Conditioning. CoRR abs/1906.02533 (2019) - [i3]Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lü:
Operational Calibration: Debugging Confidence Errors for DNNs in the Field. CoRR abs/1910.02352 (2019) - 2018
- [j28]Yi Liu, Jue Wang
, Chang Xu, Xiaoxing Ma, Jian Lü:
NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications. Sci. China Inf. Sci. 61(5): 050103:1-050103:20 (2018) - [j27]Tao Xie, He Jiang, Ge Li, Tianyu Wo, Rahul Pandita, Chang Xu, Lihua Xu:
Preface. J. Comput. Sci. Technol. 33(5): 873-875 (2018) - [j26]Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu:
Efficient validation of self-adaptive applications by counterexample probability maximization. J. Syst. Softw. 138: 82-99 (2018) - [j25]Jue Wang
, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu:
AATT+: Effectively manifesting concurrency bugs in Android apps. Sci. Comput. Program. 163: 1-18 (2018) - [j24]Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma
, Jian Lu:
Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Trans. Internet Techn. 18(2): 20:1-20:37 (2018) - [c64]Yanyan Jiang, Chang Xu:
Needle: detecting code plagiarism on student submissions. TURC 2018: 27-32 - [c63]Cong Li, Chang Xu, Lili Wei
, Jue Wang
, Jun Ma, Jian Lu:
ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. APSEC 2018: 278-287 - [c62]Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu:
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. ECOOP 2018: 19:1-19:28 - [c61]Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung
, Xiaoxing Ma, Jian Lu:
Synthesizing relation-aware entity transformation by examples. ICSE (Companion Volume) 2018: 266-267 - [c60]Shengtao Yue, Qingwei Sun, Jun Ma, Xianping Tao, Chang Xu, Jian Lu:
RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features. ICSME 2018: 323-333 - [c59]Jun Ma, Shaocong Liu, Yanyan Jiang, Xianping Tao, Chang Xu, Jian Lu:
LESdroid: a tool for detecting exported service leaks of Android applications. ICPC 2018: 244-254 - [c58]Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu
, Xiaoxing Ma, Jian Lu:
ReScue: crafting regular expression DoS attacks. ASE 2018: 225-235 - [c57]Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu:
SynEva: Evaluating ML Programs by Mirror Program Synthesis. QRS 2018: 171-182 - [c56]Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma:
Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. QRS 2018: 313-324 - [c55]Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu:
Testing multithreaded programs via thread speed control. ESEC/SIGSOFT FSE 2018: 15-25 - [i2]Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu:
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. CoRR abs/1807.02282 (2018) - 2017
- [j23]Qiwei Li, Chang Xu, Yepang Liu
, Chun Cao, Xiaoxing Ma
, Jian Lü:
CyanDroid: stable and effective energy inefficiency diagnosis for Android apps. Sci. China Inf. Sci. 60(1): 12104 (2017) - [j22]Jiaxing Dong, Chang Xu:
一种面向功能类似程序的高效克隆检测技术 (Efficient Clone Detection Technique for Functionally Similar Programs). 计算机科学 44(4): 12-15 (2017) - [j21]Ruiqing Zhang, Chang Xu, Shing-Chi Cheung
, Ping Yu
, Xiaoxing Ma, Jian Lu:
How effectively can spreadsheet anomalies be detected: An empirical study. J. Syst. Softw. 126: 87-100 (2017) - [j20]Wensheng Dou
, Chang Xu, Shing-Chi Cheung
, Jun Wei:
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. IEEE Trans. Software Eng. 43(3): 226-251 (2017) - [c54]Tianxiao Gu, Xiaoxing Ma
, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü:
Synthesizing object transformation for dynamic software updating. ICSE (Companion Volume) 2017: 336-338 - [c53]Bingying Guo, Huiyan Wang, Chang Xu, Jian Lu:
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection. ICSME 2017: 137-147 - [c52]Yi Liu, Jue Wang
, Chang Xu, Xiaoxing Ma
:
NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. Internetware 2017: 8:1-8:10 - [c51]Shengtao Yue, Weizan Feng, Jun Ma, Yanyan Jiang, XianPing Tao, Chang Xu, Jian Lu:
RepDroid: an automated tool for Android application repackaging detection. ICPC 2017: 132-142 - 2016
- [j19]Wang Xi, Chang Xu, Wenhua Yang
, Xiaoxing Ma, Ping Yu
, Jian Lu:
Suppressing detection of inconsistency hazards with pattern learning. Inf. Softw. Technol. 74: 219-229 (2016) - [j18]Jun Sui, Chang Xu, Shing-Chi Cheung
, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu:
Hybrid CPU-GPU constraint checking: Towards efficient context consistency. Inf. Softw. Technol. 74: 230-242 (2016) - [j17]Yi Qin
, Chang Xu, Ping Yu
, Jian Lu:
SIT: Sampling-based interactive testing for self-adaptive apps. J. Syst. Softw. 120: 70-88 (2016) - [c50]Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu:
Testing Android Apps via Guided Gesture Event Generation. APSEC 2016: 201-208 - [c49]Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu:
Effectively Manifesting Concurrency Bugs in Android Apps. APSEC 2016: 209-216 - [c48]Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu:
CURE: Automated Patch Generation for Dynamic Software Update. APSEC 2016: 249-256 - [c47]Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, Jian Lu:
Improving Reliability of Dynamic Software Updating Using Runtime Recovery. APSEC 2016: 257-264 - [c46]Shing-Chi Cheung
, Wanjun Chen, Yepang Liu
, Chang Xu:
CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. ICSE 2016: 464-475 - [c45]Jue Wang
, Yepang Liu
, Chang Xu, Xiaoxing Ma
, Jian Lu:
E-greenDroid: effective energy inefficiency analysis for android applications. Internetware 2016: 71-80 - [c44]Huiyan Wang, Chang Xu, Jun Sui, Jian Lu:
How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study. QRS 2016: 41-52 - [c43]Yiqun Wang, Shengwei An, Xiaoxing Ma
, Chun Cao, Chang Xu:
Verifying Distributed Controllers with Local Invariants. QRS 2016: 120-131 - [c42]Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma
, Jian Lu:
Crash consistency validation made easy. SIGSOFT FSE 2016: 133-143 - [c41]Yepang Liu
, Chang Xu, Shing-Chi Cheung
, Valerio Terragni
:
Understanding and detecting wake lock misuses for Android applications. SIGSOFT FSE 2016: 396-409 - [c40]Wensheng Dou, Shing-Chi Cheung
, Chushu Gao
, Chang Xu, Liang Xu, Jun Wei:
Detecting table clones and smells in spreadsheets. SIGSOFT FSE 2016: 787-798 - [c39]Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma
, Jian Lu:
Online shared memory dependence reduction via bisectional coordination. SIGSOFT FSE 2016: 822-832 - [i1]Yepang Liu, Lili Wei, Chang Xu, Shing-Chi Cheung:
DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. CoRR abs/1611.08079 (2016) - 2015
- [j16]Wenhua Yang, Yepang Liu
, Chang Xu, Shing-Chi Cheung
:
A survey on dependability improvement techniques for pervasive computing systems. Sci. China Inf. Sci. 58(5): 1-14 (2015) - [j15]Xiaofan Li, Chang Xu:
小车远程控制及自主寻路系统的设计与实现 (Design and Implementation of Vehicle Remote Control and Independent Way-finding System). 计算机科学 42(12): 98-101 (2015) - [j14]Chang Xu, Laura K. Dillon:
SEES Summary: Software Engineering Educators Symposium 2014. ACM SIGSOFT Softw. Eng. Notes 40(1): 38-39 (2015) - [j13]Yepang Liu
, Chang Xu, Shing-Chi Cheung
:
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. IEEE Softw. 32(1): 67-75 (2015) - [j12]Chang Xu, Wang Xi, Shing-Chi Cheung
, Xiaoxing Ma
, Chun Cao, Jian Lu:
Cina: Suppressing the Detection of Unstable Context Inconsistency. IEEE Trans. Software Eng. 41(9): 842-865 (2015) - [c38]Ying Zhang
, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu
:
ABC: Accelerated Building of C/C++ Projects. APSEC 2015: 182-189 - [c37]Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma
, Jian Lu:
Concolic Metamorphic Debugging. COMPSAC 2015: 232-241 - [c36]Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma
, Jian Lu:
CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. COMPSAC 2015: 632-637 - [c35]Zhanshuai Meng, Yanyan Jiang, Chang Xu:
Facilitating Reusable and Scalable Automated Testing and Analysis for Android Apps. Internetware 2015: 166-175 - [c34]Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma
, Jian Lu:
Optimistic Shared Memory Dependence Tracing (T). ASE 2015: 524-534 - [c33]Shengwei An, Xiaoxing Ma
, Chun Cao, Ping Yu
, Chang Xu:
An Event-Based Formal Framework for Dynamic Software Update. QRS 2015: 173-182 - 2014
- [j11]Yepang Liu, Chang Xu, Shing-Chi Cheung, Wenhua Yang:
CHECKERDROID : Automated Quality Assurance for Smartphone Applications. Int. J. Softw. Informatics 8(1): 21-41 (2014) - [j10]Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lü:
Low-disruptive dynamic updating of Java applications. Inf. Softw. Technol. 56(9): 1086-1098 (2014) - [j9]Yepang Liu
, Chang Xu, Shing-Chi Cheung
, Jian Lu:
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. IEEE Trans. Software Eng. 40(9): 911-940 (2014) - [c32]Xiujiang Li, Yanyan Jiang, Yepang Liu
, Chang Xu, Xiaoxing Ma, Jian Lu:
User Guided Automation for Testing Mobile Apps. APSEC (1) 2014: 27-34 - [c31]Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu:
GAIN: GPU-Based Constraint Checking for Context Consistency. APSEC (1) 2014: 319-326 - [c30]Wang Xi, Chang Xu, Wenhua Yang, Ping Yu
, Xiaoxing Ma, Jiang Lu:
SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. APSEC (1) 2014: 391-398 - [c29]Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma
, Jian Lu:
CARE: cache guided deterministic replay for concurrent Java programs. ICSE 2014: 457-467 - [c28]Yepang Liu
, Chang Xu, Shing-Chi Cheung
:
Characterizing and detecting performance bugs for smartphone applications. ICSE 2014: 1013-1024 - [c27]Zelin Zhao, Xiaoxing Ma
, Chang Xu, Wenhua Yang:
Automated recommendation of dynamic software update points: an exploratory study. Internetware 2014: 136-144 - [c26]Wenhua Yang, Chang Xu, Yepang Liu
, Chun Cao, Xiaoxing Ma
, Jian Lu:
Verifying self-adaptive applications suffering uncertainty. ASE 2014: 199-210 - [c25]Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu:
Automatically generated patches as debugging aids: a human study. SIGSOFT FSE 2014: 64-74 - 2013
- [j8]Chang Xu, Yepang Liu
, Shing-Chi Cheung
, Chun Cao, Jian Lv:
Towards context consistency by concurrent checking for Internetware applications. Sci. China Inf. Sci. 56(8): 1-20 (2013) - [j7]Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lv:
Detecting Faults in Context-Aware Adaptation. Int. J. Softw. Informatics 7(1): 85-111 (2013) - [j6]Yepang Liu
, Chang Xu, Shing-Chi Cheung
:
AFChecker: Effective model checking for context-aware adaptive applications. J. Syst. Softw. 86(3): 854-867 (2013) - [c24]Jian Lü, Yu Huang, Chang Xu, Xiaoxing Ma:
Managing Environment and Adaptation Risks for the Internetware Paradigm. Theories of Programming and Formal Methods 2013: 271-284 - [c23]Linghao Zhang, Hui Sun, Xiaoxing Ma, Chang Xu, Jian Lu:
Challenges in developing software for cyber-physical systems. Internetware 2013: 15:1-15:10 - [c22]Chang Xu, Wenhua Yang, Xiaoxing Ma
, Chun Cao, Jian Lu:
Environment rematching: Toward dependability improvement for self-adaptive applications. ASE 2013: 592-597 - [c21]Wenhua Yang, Chang Xu, Linghao Zhang:
IDEA: improving dependability for self-adaptive applications. Middleware Doctoral Symposium 2013: 1:1-1:6 - [c20]Yanyan Jiang, Chang Xu, Xiaoxing Ma:
DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. Middleware Doctoral Symposium 2013: 2:1-2:6 - [c19]Yepang Liu
, Chang Xu:
VeriDroid: automating Android application verification. Middleware Doctoral Symposium 2013: 5:1-5:6 - [c18]Yepang Liu
, Chang Xu, Shing-Chi Cheung
:
Where has my battery gone? Finding sensor related energy black holes in smartphone applications. PerCom 2013: 2-10 - 2012
- [j5]Chang Xu, Shing-Chi Cheung
, Xiaoxing Ma
, Chun Cao, Jian Lu:
Adam: Identifying defects in context-aware adaptation. J. Syst. Softw. 85(12): 2812-2828 (2012) - [c17]Linghao Zhang, Chang Xu, Xiaoxing Ma
, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu:
Resynchronizing Model-Based Self-Adaptive Systems with Environments. APSEC 2012: 184-193 - [c16]Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma
, Linghao Zhang, Jian Lu:
Javelus: A Low Disruptive Approach to Dynamic Software Updates. APSEC 2012: 527-536 - [c15]Haibin Yang, Chang Xu, Xiaoxing Ma
, Linghao Zhang, Chun Cao, Jian Lu:
ConsView: Towards Application-Specific Consistent Context Views. COMPSAC 2012: 632-637 - [c14]Chang Xu, Shing-Chi Cheung
, Xiaoxing Ma
, Chun Cao, Jian Lu:
Dynamic fault detection in context-aware adaptation. Internetware 2012: 1:1-1:10 - 2011
- [c13]Chang Xu, Xiaoxing Ma
, Chun Cao, Jian Lu:
Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. MobiQuitous 2011: 285-297 - 2010
- [j4]An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung
, Yu Liu:
Data-driven testing methodology for RFID systems. Frontiers Comput. Sci. China 4(3): 354-364 (2010) - [j3]Chushu Gao, Jun Wei, Chang Xu, Shing-Chi Cheung:
Sequential Event Pattern Based Design of Context-Aware Adaptive Application. Int. J. Softw. Informatics 4(3): 419-436 (2010) - [j2]Chang Xu, Shing-Chi Cheung
, W. K. Chan
, Chunyang Ye:
Partial constraint checking for context consistency in pervasive computing. ACM Trans. Softw. Eng. Methodol. 19(3): 9:1-9:61 (2010) - [c12]Chushu Gao
, Jun Wei, Chang Xu, Shing-Chi Cheung
:
Sequential event pattern based context-aware adaptation. Internetware 2010: 3
2000 – 2009
- 2009
- [j1]Chunyang Ye, Shing-Chi Cheung
, Wing Kwong Chan
, Chang Xu:
Atomicity Analysis of Service Composition across Organizations. IEEE Trans. Software Eng. 35(1): 2-28 (2009) - 2008
- [c11]Chang Xu, Shing-Chi Cheung
, Wing Kwong Chan
, Chunyang Ye:
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ICDCS 2008: 713-721 - 2007
- [c10]Chang Xu, Shing-Chi Cheung
, Wing Kwong Chan
:
Goal-Directed Context Validation for Adaptive Ubiquitous Systems. SEAMS 2007: 17 - [c9]Chunyang Ye, Shing-Chi Cheung
, W. K. Chan
, Chang Xu:
Detection and resolution of atomicity violation in service composition. ESEC/SIGSOFT FSE 2007: 235-244 - [c8]Chang Xu, Shing-Chi Cheung
, W. K. Chan
, Chunyang Ye:
On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE 2007: 569-572 - 2006
- [c7]Chang Xu, Shing-Chi Cheung, W. K. Chan:
Incremental consistency checking for pervasive context. ICSE 2006: 292-301 - [c6]Chunyang Ye, Shing-Chi Cheung
, W. K. Chan
, Chang Xu:
Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE 2006: 186-196 - 2005
- [c5]Chang Xu, Shing-Chi Cheung
:
Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE 2005: 336-345 - 2004
- [c4]Xin Zhang, Chang Xu, Beihong Jin:
Building Extensible and High Performance Distributed Transaction Service. Australian Software Engineering Conference 2004: 202-210 - [c3]Chang Xu, Shing-Chi Cheung, Xiangye Xiao:
Semantic Interpretation and Matching of Web Services. ER 2004: 542-554 - [c2]Chang Xu, Shing-Chi Cheung, Cindy Lo, Ka-Chung Leung, Jun Wei:
Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. NPC 2004: 568-575 - 2003
- [c1]Chang Xu, Beihong Jin:
Conformance Test of Distributed Transaction Service. Asian Test Symposium 2003: 216-219
Coauthor Index
![](https://dblp.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-20 23:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint