Chang Xu - RankMe

172 papers A* 22A 13B 3C 18Journal 75Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair. CoRR Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung
2026	J	`jnl`	Qihe: A General-Purpose Static Analysis Framework for Verilog. CoRR Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
2025	J	`jnl`	Bridge the Islands: Pointer Analysis for Microservice Systems. Proc. ACM Softw. Eng. Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu, Yue Li
2025	J	`jnl`	Insights and Analysis of Open-source License Violation Risks in LLMs Generated Code. Int. J. Softw. Informatics Yibo Wang, Ying Wang, Yue Yu, Chang Xu, Hai Yu, Zhiliang Zhu
2025	A*	`conf`	Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. ICSE Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, Yue Li
2025	J	`jnl`	MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. Softw. Test. Verification Reliab. Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
2025	J	`jnl`	Pointer Analysis for Database-Backed Applications. Proc. ACM Program. Lang. Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, Yue Li
2025	J	`jnl`	Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces. IEEE Trans. Software Eng. Jiarong Wu, Yanyan Jiang, Lili Wei, Congying Xu, Shing-Chi Cheung, Chang Xu
2025	J	`jnl`	SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation. J. Comput. Sci. Technol. Shu-hui Zhang, Rong Yang, Lingyu Zhang, Han Li, Ming-Xiao Wang, Mingchen Gao, Hao-Ming Hu, Hui-Yan Wang, Yi Qin, Chang Xu
2025	J	`jnl`	Text2SQL-Flow: A Robust SQL-Aware Data Augmentation Framework for Text-to-SQL. CoRR Qifeng Cai, Hao Liang, Chang Xu, Tao Xie, Wentao Zhang, Bin Cui
2025	A	`conf`	Understanding the Linux Kernel, Visually. EuroSys Hanzhi Liu, Yanyan Jiang, Chang Xu
2025	J	`jnl`	Validating JIT Compilers via Compilation Space Exploration. ACM Trans. Comput. Syst. Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su
2024	J	`jnl`	Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench. CoRR Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024	A*	`conf`	Harnessing Edge Information for Improved Robustness in Vision Transformers. AAAI Yanxi Li, Chengbin Du, Chang Xu
2024	J	`jnl`	Incremental-concurrent fusion checking for efficient context consistency. J. Syst. Softw. Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu
2024	A*	`conf`	JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models. ASE Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024	J	`jnl`	Programming by Example Made Easy. ACM Trans. Softw. Eng. Methodol. Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu
2024	A	`conf`	Testing Constraint Checking Implementations via Principled Metamorphic Transformations. SANER Mingchen Gao, Huiyan Wang, Chang Xu
2024	—	`conf`	The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators. ASPLOS (4) Xianfei Ou, Cong Li, Yanyan Jiang, Chang Xu
2024	—	`conf`	Towards Life-long Software Self-validation in Production. Internetware Daohan Qu, Chaoyi Zhao, Yanyan Jiang, Chang Xu
2024	J	`jnl`	Understanding Robustness of Visual State Space Models for Image Classification. CoRR Chengbin Du, Yanxi Li, Chang Xu
2024	J	`jnl`	Understanding and Detecting Inefficient Image Displaying Issues in Android Apps. J. Comput. Sci. Technol. Wenjie Li, Jun Ma, Yanyan Jiang, Chang Xu, Xiaoxing Ma
2023	—	`conf`	Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. ESEC/SIGSOFT FSE Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu
2023	J	`jnl`	Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. CoRR Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
2023	J	`jnl`	Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. Proc. ACM Program. Lang. Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
2023	J	`jnl`	Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. IEEE Trans. Reliab. Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, Zhiqiu Huang
2023	J	`jnl`	Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis. Autom. Softw. Eng. Huiyan Wang, Ziqi Chen, Chang Xu
2023	J	`jnl`	Growing Software: Objective, Methodology, and Technology. IEEE Trans. Comput. Soc. Syst. Jian Lu, Chang Xu, Xiaoxing Ma, Bin Hu
2023	J	`jnl`	Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem. IEEE Trans. Software Eng. Ying Wang, Peng Sun, Lin Pei, Yue Yu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2023	J	`jnl`	Programming by Example Made Easy. CoRR Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu
2023	J	`jnl`	Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. IEEE Trans. Software Eng. Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2023	J	`jnl`	The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proc. ACM Program. Lang. Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li
2023	A*	`conf`	Validating JIT Compilers via Compilation Space Exploration. SOSP Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su
2022	—	`conf`	Cross-device record and replay for Android apps. ESEC/SIGSOFT FSE Cong Li, Yanyan Jiang, Chang Xu
2022	—	`conf`	Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. ESEC/SIGSOFT FSE Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
2022	J	`jnl`	Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow. ACM Trans. Softw. Eng. Methodol. Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, Zhiqiu Huang
2022	J	`jnl`	GridDroid - An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface. J. Comput. Sci. Technol. Jun Ma, Qingwei Sun, Chang Xu, XianPing Tao
2022	A	`conf`	INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. ICSME Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu
2022	A	`conf`	Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. ISSRE Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
2022	A*	`conf`	Push-Button Synthesis of Watch Companions for Android Apps. ICSE Cong Li, Yanyan Jiang, Chang Xu
2022	J	`jnl`	Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments. J. Comput. Sci. Technol. Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu
2022	J	`jnl`	Will Dependency Conflicts Affect My Program's Semantics? IEEE Trans. Software Eng. Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu
2021	C	`conf`	Automatic Performance Testing for Image Displaying in Android Apps. APSEC Wenjie Li, Yanyan Jiang, Jun Ma, Chang Xu
2021	J	`jnl`	Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. IEEE Trans. Software Eng. Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu
2021	A*	`conf`	HERO: On the Chaos When PATH Meets Modules. ICSE Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu
2021	J	`jnl`	Hero: On the Chaos When PATH Meets Modules. CoRR Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu
2021	J	`jnl`	Joint Distribution across Representation Space for Out-of-Distribution Detection. CoRR Jingwei Xu, Siyuan Zhu, Zenan Li, Chang Xu
2021	J	`jnl`	Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis
2021	J	`jnl`	On interleaving space exploration of multi-threaded programs. Frontiers Comput. Sci. Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma
2021	—	`conf`	PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. ICSE (Companion Volume) Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
2021	J	`jnl`	Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. CoRR Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2021	A*	`conf`	Synthesizing Object State Transformers for Dynamic Software Updates. ICSE Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
2021	J	`jnl`	TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint. Inf. Softw. Technol. Shuguan Liu, Huiyan Wang, Chang Xu
2021	—	`conf`	Timely and accurate detection of model deviation in self-adaptive software-intensive systems. ESEC/SIGSOFT FSE Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma
2021	J	`jnl`	Towards effective metamorphic testing by algorithm stability for linear classification programs. J. Syst. Softw. Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, Xiaoxing Ma
2020	J	`jnl`	CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Trans. Reliab. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2020	A*	`conf`	ComboDroid: generating high-quality test inputs for Android apps via use case combinations. ICSE Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu
2020	A*	`conf`	Dissector: input validation for deep learning applications by crossing-layer dissection. ICSE Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu
2020	—	`conf`	M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving. ICSE (Workshops) Yingzhuo Yang, Chang Xu
2020	—	`conf`	Operational calibration: debugging confidence errors for DNNs in the field. ESEC/SIGSOFT FSE Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lu
2020	J	`jnl`	Perspectives on search strategies in automated test input generation. Frontiers Comput. Sci. Yang Cao, Yanyan Jiang, Chang Xu, Jun Ma, Xiaoxing Ma
2020	—	`conf`	Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments. Internetware Jinchi Chen, Yi Qin, Huiyan Wang, Chang Xu
2020	A*	`conf`	Testing file system implementations on layered models. ICSE Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
2020	J	`jnl`	WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements. J. Syst. Softw. Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, Da Li
2020	A*	`conf`	Watchman: monitoring dependency conflicts for Python library ecosystem. ICSE Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, ZhenMing Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, Zhiliang Zhu
2020	J	`jnl`	Will Dependency Conflicts Affect My Program's Semantics? CoRR Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu
2020	J	`jnl`	智能化信息物理系统中非确定性的分类研究 (Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems). 计算机科学 Wenhua Yang, Chang Xu, Haibo Ye, Yu Zhou, Zhiqiu Huang
2019	J	`jnl`	Boosting Operational DNN Testing Efficiency through Conditioning. CoRR Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu
2019	—	`conf`	Boosting operational DNN testing efficiency through conditioning. ESEC/SIGSOFT FSE Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü
2019	A	`conf`	Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. SANER Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, Jian Lu
2019	J	`jnl`	DroidLeaks: a comprehensive database of resource leaks in Android apps. Empir. Softw. Eng. Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang
2019	J	`jnl`	Operational Calibration: Debugging Confidence Errors for DNNs in the Field. CoRR Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lü
2019	A*	`conf`	Practical GUI testing of Android applications via model abstraction and refinement. ICSE Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
2019	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma
2019	A*	`conf`	SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. ASE Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma
2019	—	`conf`	Structural coverage criteria for neural networks could be misleading. ICSE (NIER) Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao
2019	C	`conf`	VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. APSEC Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao
2019	C	`conf`	WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. QRS Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu
2018	J	`jnl`	AATT+: Effectively manifesting concurrency bugs in Android apps. Sci. Comput. Program. Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu
2018	A	`conf`	Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. ECOOP Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu
2018	J	`jnl`	CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. CoRR Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2018	C	`conf`	ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. APSEC Cong Li, Chang Xu, Lili Wei, Jue Wang, Jun Ma, Jian Lu
2018	J	`jnl`	Efficient validation of self-adaptive applications by counterexample probability maximization. J. Syst. Softw. Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu
2018	J	`jnl`	Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Trans. Internet Techn. Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu
2018	A	`conf`	LESdroid: a tool for detecting exported service leaks of Android applications. ICPC Jun Ma, Shaocong Liu, Yanyan Jiang, XianPing Tao, Chang Xu, Jian Lu
2018	C	`conf`	Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. QRS Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma
2018	J	`jnl`	NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications. Sci. China Inf. Sci. Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma, Jian Lü
2018	—	`conf`	Needle: detecting code plagiarism on student submissions. TURC Yanyan Jiang, Chang Xu
2018	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, He Jiang, Ge Li, Tianyu Wo, Rahul Pandita, Chang Xu, Lihua Xu
2018	A*	`conf`	ReScue: crafting regular expression DoS attacks. ASE Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu
2018	A	`conf`	RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features. ICSME Shengtao Yue, Qingwei Sun, Jun Ma, XianPing Tao, Chang Xu, Jian Lu
2018	C	`conf`	SynEva: Evaluating ML Programs by Mirror Program Synthesis. QRS Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
2018	—	`conf`	Synthesizing relation-aware entity transformation by examples. ICSE (Companion Volume) Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu
2018	—	`conf`	Testing multithreaded programs via thread speed control. ESEC/SIGSOFT FSE Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
2017	J	`jnl`	CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. IEEE Trans. Software Eng. Wensheng Dou, Chang Xu, Shing-Chi Cheung, Jun Wei
2017	J	`jnl`	CyanDroid: stable and effective energy inefficiency diagnosis for Android apps. Sci. China Inf. Sci. Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lü
2017	A	`conf`	GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection. ICSME Bingying Guo, Huiyan Wang, Chang Xu, Jian Lu
2017	J	`jnl`	How effectively can spreadsheet anomalies be detected: An empirical study. J. Syst. Softw. Ruiqing Zhang, Chang Xu, Shing-Chi Cheung, Ping Yu, Xiaoxing Ma, Jian Lu
2017	—	`conf`	NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. Internetware Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma
2017	A	`conf`	RepDroid: an automated tool for Android application repackaging detection. ICPC Shengtao Yue, Weizan Feng, Jun Ma, Yanyan Jiang, XianPing Tao, Chang Xu, Jian Lu
2017	—	`conf`	Synthesizing object transformation for dynamic software updating. ICSE (Companion Volume) Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü
2017	J	`jnl`	一种面向功能类似程序的高效克隆检测技术 (Efficient Clone Detection Technique for Functionally Similar Programs). 计算机科学 Jiaxing Dong, Chang Xu
2016	C	`conf`	CURE: Automated Patch Generation for Dynamic Software Update. APSEC Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu
2016	A*	`conf`	CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. ICSE Shing-Chi Cheung, Wanjun Chen, Yepang Liu, Chang Xu
2016	—	`conf`	Crash consistency validation made easy. SIGSOFT FSE Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, Jian Lu
2016	—	`conf`	Detecting table clones and smells in spreadsheets. SIGSOFT FSE Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, Jun Wei
2016	J	`jnl`	DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. CoRR Yepang Liu, Lili Wei, Chang Xu, Shing-Chi Cheung
2016	—	`conf`	E-greenDroid: effective energy inefficiency analysis for android applications. Internetware Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2016	C	`conf`	Effectively Manifesting Concurrency Bugs in Android Apps. APSEC Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu
2016	C	`conf`	How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study. QRS Huiyan Wang, Chang Xu, Jun Sui, Jian Lu
2016	J	`jnl`	Hybrid CPU-GPU constraint checking: Towards efficient context consistency. Inf. Softw. Technol. Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2016	C	`conf`	Improving Reliability of Dynamic Software Updating Using Runtime Recovery. APSEC Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, Jian Lu
2016	—	`conf`	Online shared memory dependence reduction via bisectional coordination. SIGSOFT FSE Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu
2016	J	`jnl`	SIT: Sampling-based interactive testing for self-adaptive apps. J. Syst. Softw. Yi Qin, Chang Xu, Ping Yu, Jian Lu
2016	J	`jnl`	Suppressing detection of inconsistency hazards with pattern learning. Inf. Softw. Technol. Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, Jian Lu
2016	C	`conf`	Testing Android Apps via Guided Gesture Event Generation. APSEC Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu
2016	—	`conf`	Understanding and detecting wake lock misuses for Android applications. SIGSOFT FSE Yepang Liu, Chang Xu, Shing-Chi Cheung, Valerio Terragni
2016	C	`conf`	Verifying Distributed Controllers with Local Invariants. QRS Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu
2015	J	`jnl`	A survey on dependability improvement techniques for pervasive computing systems. Sci. China Inf. Sci. Wenhua Yang, Yepang Liu, Chang Xu, Shing-Chi Cheung
2015	C	`conf`	ABC: Accelerated Building of C/C++ Projects. APSEC Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu
2015	C	`conf`	An Event-Based Formal Framework for Dynamic Software Update. QRS Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu
2015	J	`jnl`	Cina: Suppressing the Detection of Unstable Context Inconsistency. IEEE Trans. Software Eng. Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2015	B	`conf`	Concolic Metamorphic Debugging. COMPSAC Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2015	B	`conf`	CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. COMPSAC Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2015	J	`jnl`	Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. IEEE Softw. Yepang Liu, Chang Xu, Shing-Chi Cheung
2015	—	`conf`	Facilitating Reusable and Scalable Automated Testing and Analysis for Android Apps. Internetware Zhanshuai Meng, Yanyan Jiang, Chang Xu
2015	A*	`conf`	Optimistic Shared Memory Dependence Tracing (T). ASE Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu
2015	J	`jnl`	SEES Summary: Software Engineering Educators Symposium 2014. ACM SIGSOFT Softw. Eng. Notes Chang Xu, Laura K. Dillon
2015	J	`jnl`	小车远程控制及自主寻路系统的设计与实现 (Design and Implementation of Vehicle Remote Control and Independent Way-finding System). 计算机科学 Xiaofan Li, Chang Xu
2014	—	`conf`	Automated recommendation of dynamic software update points: an exploratory study. Internetware Zelin Zhao, Xiaoxing Ma, Chang Xu, Wenhua Yang
2014	—	`conf`	Automatically generated patches as debugging aids: a human study. SIGSOFT FSE Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu
2014	A*	`conf`	CARE: cache guided deterministic replay for concurrent Java programs. ICSE Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu
2014	J	`jnl`	CHECKERDROID : Automated Quality Assurance for Smartphone Applications. Int. J. Softw. Informatics Yepang Liu, Chang Xu, Shing-Chi Cheung, Wenhua Yang
2014	A*	`conf`	Characterizing and detecting performance bugs for smartphone applications. ICSE Yepang Liu, Chang Xu, Shing-Chi Cheung
2014	—	`conf`	GAIN: GPU-Based Constraint Checking for Context Consistency. APSEC (1) Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2014	J	`jnl`	GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. IEEE Trans. Software Eng. Yepang Liu, Chang Xu, Shing-Chi Cheung, Jian Lu
2014	J	`jnl`	Low-disruptive dynamic updating of Java applications. Inf. Softw. Technol. Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lü
2014	—	`conf`	SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. APSEC (1) Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, Jiang Lu
2014	—	`conf`	User Guided Automation for Testing Mobile Apps. APSEC (1) Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2014	A*	`conf`	Verifying self-adaptive applications suffering uncertainty. ASE Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu
2013	J	`jnl`	AFChecker: Effective model checking for context-aware adaptive applications. J. Syst. Softw. Yepang Liu, Chang Xu, Shing-Chi Cheung
2013	—	`conf`	Challenges in developing software for cyber-physical systems. Internetware Linghao Zhang, Hui Sun, Xiaoxing Ma, Chang Xu, Jian Lu
2013	—	`conf`	DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. Middleware Doctoral Symposium Yanyan Jiang, Chang Xu, Xiaoxing Ma
2013	J	`jnl`	Detecting Faults in Context-Aware Adaptation. Int. J. Softw. Informatics Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lv
2013	A*	`conf`	Environment rematching: Toward dependability improvement for self-adaptive applications. ASE Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lu
2013	—	`conf`	IDEA: improving dependability for self-adaptive applications. Middleware Doctoral Symposium Wenhua Yang, Chang Xu, Linghao Zhang
2013	—	`conf`	Managing Environment and Adaptation Risks for the Internetware Paradigm. Theories of Programming and Formal Methods Jian Lü, Yu Huang, Chang Xu, Xiaoxing Ma
2013	J	`jnl`	Towards context consistency by concurrent checking for Internetware applications. Sci. China Inf. Sci. Chang Xu, Yepang Liu, Shing-Chi Cheung, Chun Cao, Jian Lv
2013	—	`conf`	VeriDroid: automating Android application verification. Middleware Doctoral Symposium Yepang Liu, Chang Xu
2013	A*	`conf`	Where has my battery gone? Finding sensor related energy black holes in smartphone applications. PerCom Yepang Liu, Chang Xu, Shing-Chi Cheung
2012	J	`jnl`	Adam: Identifying defects in context-aware adaptation. J. Syst. Softw. Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012	B	`conf`	ConsView: Towards Application-Specific Consistent Context Views. COMPSAC Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, Jian Lu
2012	—	`conf`	Dynamic fault detection in context-aware adaptation. Internetware Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012	C	`conf`	Javelus: A Low Disruptive Approach to Dynamic Software Updates. APSEC Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu
2012	C	`conf`	Resynchronizing Model-Based Self-Adaptive Systems with Environments. APSEC Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu
2011	C	`conf`	Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. MobiQuitous Chang Xu, Xiaoxing Ma, Chun Cao, Jian Lu
2010	J	`jnl`	Data-driven testing methodology for RFID systems. Frontiers Comput. Sci. China An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu
2010	J	`jnl`	Partial constraint checking for context consistency in pervasive computing. ACM Trans. Softw. Eng. Methodol. Chang Xu, Shing-Chi Cheung, W. K. Chan, Chunyang Ye
2010	J	`jnl`	Sequential Event Pattern Based Design of Context-Aware Adaptive Application. Int. J. Softw. Informatics Chushu Gao, Jun Wei, Chang Xu, Shing-Chi Cheung
2010	—	`conf`	Sequential event pattern based context-aware adaptation. Internetware Chushu Gao, Jun Wei, Chang Xu, Shing-Chi Cheung
2009	J	`jnl`	Atomicity Analysis of Service Composition across Organizations. IEEE Trans. Software Eng. Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu
2008	A	`conf`	Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ICDCS Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye
2007	—	`conf`	Detection and resolution of atomicity violation in service composition. ESEC/SIGSOFT FSE Chunyang Ye, Shing-Chi Cheung, W. K. Chan, Chang Xu
2007	A	`conf`	Goal-Directed Context Validation for Adaptive Ubiquitous Systems. SEAMS Chang Xu, Shing-Chi Cheung, Wing Kwong Chan
2007	—	`conf`	On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE Chang Xu, Shing-Chi Cheung, W. K. Chan, Chunyang Ye
2006	A*	`conf`	Incremental consistency checking for pervasive context. ICSE Chang Xu, Shing-Chi Cheung, W. K. Chan
2006	—	`conf`	Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE Chunyang Ye, Shing-Chi Cheung, W. K. Chan, Chang Xu
2005	—	`conf`	Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE Chang Xu, Shing-Chi Cheung
2004	—	`conf`	Building Extensible and High Performance Distributed Transaction Service. Australian Software Engineering Conference Xin Zhang, Chang Xu, Beihong Jin
2004	C	`conf`	Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. NPC Chang Xu, Shing-Chi Cheung, Cindy Lo, Ka-Chung Leung, Jun Wei
2004	A	`conf`	Semantic Interpretation and Matching of Web Services. ER Chang Xu, Shing-Chi Cheung, Xiangye Xiao
2003	—	`conf`	Conformance Test of Distributed Transaction Service. Asian Test Symposium Chang Xu, Beihong Jin