Xiaoxing Ma

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 115

Top Venues

Publications

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. EuroSys (2024)
Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
Learning with Logical Constraints but without Shortcut Satisfaction. CoRR (2024)
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) (2024)
Hui Gao, Hongyu Kuang, Wesley K. G. Assunção, Christoph Mayr-Dorn, Guoping Rong, He Zhang, Xiaoxing Ma, Alexander Egyed
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts. ICSE (2024)
Wei Cheng, Wei Hu, Xiaoxing Ma
Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach. IEEE Trans. Software Eng. 50 (2) (2024)
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
Softened Symbol Grounding for Neuro-symbolic Systems. CoRR (2024)
Senrong Xu, Jiamei Shen, Yunfan Li, Yuan Yao, Ping Yu, Feng Xu, Xiaoxing Ma
On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference. Internetware (2024)
Yunpeng Huang, Yaonan Gu, Jingwei Xu, Zhihong Zhu, Zhaorun Chen, Xiaoxing Ma
Securing Reliability: A Brief Overview on Enhancing In-Context Learning for Foundation Models. CoRR (2024)
Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, Xiaoxing Ma
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
Model-checking-driven explorative testing of CRDT designs and implementations. J. Softw. Evol. Process. 36 (4) (2024)
Jiahua Huang, Chun Cao, Jun Ma, Xiaoxing Ma
NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries. Internetware (2024)
Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
Learning with Logical Constraints but without Shortcut Satisfaction. ICLR (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma
Specifications to Improve the Reliability of the ZooKeeperCoordination Service. SETTA (2023)
Hui Gao, Hongyu Kuang, Wesley K. G. Assunção, Christoph Mayr-Dorn, Guoping Rong, He Zhang, Xiaoxing Ma, Alexander Egyed
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts. CoRR (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR (2023)
Bingzhe Zhou, Xinying Wang, Shengbin Xu, Yuan Yao, Minxue Pan, Feng Xu, Xiaoxing Ma
Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models. Internetware (2023)
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) (2023)
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 (2023)
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS (2023)
Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. Internetware (2023)
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) (2023)
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
Softened Symbol Grounding for Neuro-symbolic Systems. ICLR (2023)
Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. ICSE (2023)
Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. CoRR (2023)
Jian Lu, Chang Xu, Xiaoxing Ma, Bin Hu
Growing Software: Objective, Methodology, and Technology. IEEE Trans. Comput. Soc. Syst. 10 (3) (2023)
Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, Xiaoxing Ma
Data Quality Matters: A Case Study of Obsolete Comment Detection. ICSE (2023)
Zelin Zhao, Zhaogui Xu, Jialong Zhu, Peng Di, Yuan Yao, Xiaoxing Ma
The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model. CoRR (2023)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. CoRR (2022)
Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
Boosting API Recommendation With Implicit Feedback. IEEE Trans. Software Eng. 48 (6) (2022)
Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alexander Egyed, Patrick Mäder, Guoping Rong, Dong Shao, He Zhang
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery. CoRR (2022)
Zelin Zhao, Di Huang, Xiaoxing Ma
TOAST: Automated Testing of Object Transformers in Dynamic Software Updates. J. Comput. Sci. Technol. 37 (1) (2022)
Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
ViSearch: Weak Consistency Measurement for Replicated Data Types. CoRR (2022)
Hui Gao, Hongyu Kuang, Xiaoxing Ma, Hao Hu, Jian Lü, Patrick Mäder, Alexander Egyed
Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery. Empir. Softw. Eng. 27 (2) (2022)
Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alexander Egyed, Patrick Mäder, Guoping Rong, Dong Shao, He Zhang
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery. ASE (2022)
Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, Xiaoxing Ma
ADEPT: A Testing Platform for Simulated Autonomous Driving. ASE (2022)
Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, Hanghang Tong
Fair Representation Learning: An Alternative to Mutual Information. KDD (2022)
Kexin Sun, Xiaobo Shi, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, Zheng Zhao, He Zhang
Incorporating Pre-trained Transformer Models into TextCNN for Sentiment Analysis on Software Engineering Texts. Internetware (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. CoRR (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. SRDS (2022)
Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. IEEE Trans. Software Eng. 47 (3) (2021)
Wei Song, Hans-Arno Jacobsen, Chengzhen Zhang, Xiaoxing Ma
Dependence-Based Data-Aware Process Conformance Checking. IEEE Trans. Serv. Comput. 14 (3) (2021)
Kexin Sun, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text. CoRR (2021)
Mingyang Li, Zhijiang Du, Xiaoxing Ma, Wei Dong, Yongzhuo Gao
A robot hand-eye calibration method of line laser sensor based on 3D reconstruction. Robotics Comput. Integr. Manuf. 71 (2021)
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)
Kexin Sun, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text. ICPC (2021)
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) (2021)
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 (2021)
Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. ICSE (Companion Volume) (2021)
Wei Song, Hans-Arno Jacobsen, Shing-Chi Cheung, Hongyu Liu, Xiaoxing Ma
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. IEEE Trans. Serv. Comput. 14 (4) (2021)
Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
Synthesizing Object State Transformers for Dynamic Software Updates. ICSE (2021)
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma
On interleaving space exploration of multi-threaded programs. Frontiers Comput. Sci. 15 (4) (2021)
Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
Boosting API Recommendation with Implicit Feedback. CoRR (2020)
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)
Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Taolue Chen, Xiaoxing Ma
Predicted Robustness as QoS for Deep Neural Network Models. J. Comput. Sci. Technol. 35 (5) (2020)
Di Huang, Zelin Zhao, Xiaoxing Ma
Testing for Dynamic Software Update: An Object-State-Oriented Approach. Internetware (2020)
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
Testing file system implementations on layered models. ICSE (2020)
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)
Jingxin Fan, Yanxiang Tong, Yi Qin, Xiaoxing Ma
Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA. Internetware (2020)
Yang Cao, Yanyan Jiang, Chang Xu, Jun Ma, Xiaoxing Ma
Perspectives on search strategies in automated test input generation. Frontiers Comput. Sci. 14 (3) (2020)
Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu
Dissector: input validation for deep learning applications by crossing-layer dissection. ICSE (2020)
Chun Cao, Jing Deng, Ping Yu, Zhiyong Duan, Xiaoxing Ma
ParaAim: Testing Android Applications Parallel at Activity Granularity. COMPSAC (1) (2019)
Rongxun Guo, Tianxiao Gu, Yuan Yao, Feng Xu, Xiaoxing Ma
Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study. Internetware (2019)
Wei Song, Xiaoxing Ma, Hans-Arno Jacobsen
Instance Migration Validity for Dynamic Evolution of Data-Aware Processes. IEEE Trans. Software Eng. 45 (8) (2019)
Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lü
Operational Calibration: Debugging Confidence Errors for DNNs in the Field. CoRR (2019)
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)
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü
Boosting operational DNN testing efficiency through conditioning. ESEC/SIGSOFT FSE (2019)
Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Xiaoxing Ma
Fast Robustness Prediction for Deep Neural Network. Internetware (2019)
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu
Boosting Operational DNN Testing Efficiency through Conditioning. CoRR (2019)
Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao
VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. APSEC (2019)
Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, Jian Lu
Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. SANER (2019)
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao
Structural coverage criteria for neural networks could be misleading. ICSE (NIER) (2019)
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)
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)
Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma
Preface. J. Comput. Sci. Technol. 34 (5) (2019)
Hongyu Kuang, Hui Gao, Hao Hu, Xiaoxing Ma, Jian Lu, Patrick Mäder, Alexander Egyed
Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery. ICPC (2019)
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
Testing multithreaded programs via thread speed control. ESEC/SIGSOFT FSE (2018)
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 (2018)
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)
Ping Yu, Fei Yang, Chun Cao, Hao Hu, Xiaoxing Ma
Mining API usage change rules for software framework evolution. Sci. China Inf. Sci. 61 (5) (2018)
Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu
ReScue: crafting regular expression DoS attacks. ASE (2018)
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 (2018)
Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
SynEva: Evaluating ML Programs by Mirror Program Synthesis. QRS (2018)
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) (2018)
Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao
An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning. COMPSAC (1) (2018)
Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma
Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. QRS (2018)
Jie Chen, Chun Cao, Ying Zhang, Xiaoxing Ma, Haiwei Zhou, Chengwei Yang
Improving Cluster Resource Efficiency with Oversubscription. COMPSAC (1) (2018)
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) (2018)
Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu
Synthesizing relation-aware entity transformation by examples. ICSE (Companion Volume) (2018)
Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Xiaoxu Xia, Chunyang Ye, Xiaoxing Ma
Scientific Workflow Mining in Clouds. IEEE Trans. Parallel Distributed Syst. 28 (10) (2017)
Chun Cao, Weiyi Wang, Ying Zhang, Xiaoxing Ma
Leveraging Column Family to Improve Multidimensional Query Performance in HBase. CLOUD (2017)
Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma
NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. Internetware (2017)
Xiaoxing Ma, Tianxiao Gu, Wei Song
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. SETSS (2017)
Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma
Preface. J. Comput. Sci. Technol. 32 (6) (2017)
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) (2017)
Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna
Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. 43 (4) (2017)
Ruiqing Zhang, Chang Xu, S. C. Cheung, Ping Yu, Xiaoxing Ma, Jian Lu
How effectively can spreadsheet anomalies be detected: An empirical study. J. Syst. Softw. 126 (2017)
Ping Yu, Fei Yang, Chun Cao, Hao Hu, Xiaoxing Ma
API Usage Change Rules Mining based on Fine-grained Call Dependency Analysis. Internetware (2017)
Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü
Synthesizing object transformation for dynamic software updating. ICSE (Companion Volume) (2017)
Chun Cao, Chenglin Meng, Hongjun Ge, Ping Yu, Xiaoxing Ma
Xdroid: Testing Android Apps with Dependency Injection. COMPSAC (1) (2017)
Tianxiao Gu, Chun Cao, Tianchi Liu, Chengnian Sun, Jing Deng, Xiaoxing Ma, Jian Lu
AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications. ICSME (2017)

Xiaoxing Ma.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiaoxing Ma