Chang Xu
Nanjing University
H-index: 30
Asia-China
Top articles of Chang Xu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Incremental-Concurrent Fusion Checking for Efficient Context Consistency | The Journal of Systems and Software (JSS) | Lingyu Zhang Huiyan Wang Chuyang Chen Chang Xu Ping Yu | 2024/1 |
PLUMBER: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem | IEEE Transactions on Software Engineering | Ying Wang Peng Sun Lin Pei Yue Yu Chang Xu | 2023/2/8 |
Growing Software: Objective, Methodology, and Technology | IEEE Transactions on Computational Social Systems | Jian Lu Chang Xu Xiaoxing Ma Bin Hu | 2023/5/24 |
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward | IEEE Transactions on Software Engineering | Ying Wang Yibo Wang Sinan Wang Yepang Liu Chang Xu | 2022/2/4 |
Freeze-and-Mutate: Abnormal Sample Identification for DL Applications through Model Core Analysis | Automated Software Engineering | Huiyan Wang Ziqi Chen Chang Xu | 2023/5 |
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints | Huiyan Wang Shuguan Liu Lingyu Zhang Chang Xu | 2023/12 | |
ENSURE: Towards Reliable Control of Cyber-Physical Systems under Uncertainty | IEEE Transactions on Reliability (TR) | Wenhua Yang Chang Xu Minxue Pan Yu Zhou Zhiqiu Huang | 2023/3 |
Validating JIT Compilers via Compilation Space Exploration | Cong Li Yanyan Jiang Chang Xu Zhendong Su | 2023/10 | |
Programming by Example Made Easy | ACM Transactions on Software Engineering and Methodology (TOSEM) | Jiarong Wu Lili Wei Yanyan Jiang Shing-Chi Cheung Luyao Ren | 2023 |
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog | Qinlin Chen Nairen Zhang Jinpeng Wang Tian Tan Chang Xu | 2023/10 | |
Context Sensitivity without Contexts | WENJIE MA SHENGYUAN YANG TIAN TAN XIAOXING MA CHANG XU | 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 | 2023/6 | |
INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusio | Lingyu Zhang Ping Wang Huiyan Xu Chang | 2022/10 | |
Do Developers Really Know How to Use Git Commands? A Large-Scale Study Using Stack Overflow | ACM Transactions on Software Engineering and Methodology (TOSEM) | Wenhua Yang Chong Zhang Minxue Pan Chang Xu Yu Zhou | 2022/4/9 |
Will Dependency Conflicts Affect My Program's Semantics | IEEE Transactions on Software Engineering | Ying Wang Rongxin Wu Chao Wang Ming Wen Yepang Liu | 2021/2/8 |
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection | Chuyang Chen Huiyan Wang Lingyu Zhang Chang Xu Ping Yu | 2022/11 | |
Push-Button Synthesis of Watch Companions for Android Apps | Cong Li Yanyan Jiang Chang Xu | 2022/5 | |
Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis | Jue Wang Yanyan Jiang Ting Su Shaohua Li Chang Xu | 2022/11/7 | |
GridDroid - An Effective and Efficient Approach for Android Repackaging Detection based on Runtime Graphical User Interface | Journal of Computer Science and Technology (JCST) | Jun Ma Qingwei Sun Chang Xu Xianping Tao | 2022/1 |
Cross-Device Record and Replay for Android Apps | Cong Li Yanyan Jiang Chang Xu | 2022/11 |