default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaoxing Ma
Person information
- affiliation: Nanjing University, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j54]Zhuo Cao, Chun Cao, Jianqiu Xu, Jingwei Xu, Zhefei Chen, Zi Chen, Xiaoxing Ma:
SCG-tree: shortcut enhanced graph hierarchy tree for efficient spatial queries on massive road networks. Frontiers Comput. Sci. 19(9): 199610 (2025)- 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]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): 1841-1864 (2024) - [j51]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) - [j50]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): 258-279 (2024) - [c115]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: 736-753 - [c114]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: 216:1-216:13 - [c113]Jiahua Huang, Chun Cao, Jun Ma, Xiaoxing Ma:
NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries. Internetware 2024 - [c112]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 - [c111]Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma:
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference. ASE 2024: 406-417 - [c110]Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang:
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects. ASE 2024: 519-530 - [c109]Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma:
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. NeurIPS 2024 - [c108]Zenan Li, Zhi Zhou, Yuan Yao, Xian Zhang, Yu-Feng Li, Chun Cao, Fan Yang, Xiaoxing Ma:
Neuro-Symbolic Data Generation for Math Reasoning. NeurIPS 2024 - [c107]Jiahe Xu, Jingwei Xu, Taolue Chen, Xiaoxing Ma:
Symbolic Execution with Test Cases Generated by Large Language Models. QRS 2024: 228-237 - [e4]Hong Mei, Jian Lv, Abdelsalam Helal, Xiaoxing Ma, Shing-Chi Cheung, Jie Zhang, Tao Zhang:
Proceedings of the 15th Asia-Pacific Symposium on Internetware, Internetware 2024, Macau, SAR, China, July 24-26, 2024. ACM 2024 [contents] - [e3]Luciano Baresi, Xiaoxing Ma, Liliana Pasquale:
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024. ACM 2024 [contents] - [i26]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 abs/2402.17671 (2024) - [i25]Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. CoRR abs/2403.00323 (2024) - [i24]Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. CoRR abs/2403.00329 (2024) - [i23]Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu:
Multi-Grained Specifications for Distributed System Model Checking and Verification. CoRR abs/2409.14301 (2024) - [i22]Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang:
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects. CoRR abs/2409.19304 (2024) - [i21]Hao Gao, Jingyue Wang, Wenyang Fang, Jingwei Xu, Yunpeng Huang, Taolue Chen, Xiaoxing Ma:
LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation. CoRR abs/2410.16197 (2024) - [i20]Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma:
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. CoRR abs/2410.20936 (2024) - [i19]Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu:
Neuro-symbolic Learning Yielding Logical Constraints. CoRR abs/2410.20957 (2024) - [i18]Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma:
Neuro-Symbolic Data Generation for Math Reasoning. CoRR abs/2412.04857 (2024) - 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) - [c106]Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. ICLR 2023 - [c105]Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. ICLR 2023 - [c104]Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, Xiaoxing Ma:
Data Quality Matters: A Case Study of Obsolete Comment Detection. ICSE 2023: 781-793 - [c103]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: 1187-1199 - [c102]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: 12-21 - [c101]Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma:
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. Internetware 2023: 302-312 - [c100]Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu:
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS 2023 - [c99]Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma:
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. SETTA 2023: 189-205 - [i17]Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma:
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR abs/2302.02703 (2023) - [i16]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) - [i15]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 abs/2311.12351 (2023) - [i14]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 abs/2312.16854 (2023) - [i13]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 abs/2312.17485 (2023) - 2022
- [j46]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): 41 (2022) - [j45]Zelin Zhao, Di Huang, Xiaoxing Ma:
TOAST: Automated Testing of Object Transformers in Dynamic Software Updates. J. Comput. Sci. Technol. 37(1): 50-66 (2022) - [j44]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): 2157-2172 (2022) - [c98]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: 127-136 - [c97]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: 114:1 - [c96]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: 150:1-150:4 - [c95]Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, Hanghang Tong:
Fair Representation Learning: An Alternative to Mutual Information. KDD 2022: 1088-1097 - [c94]Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma:
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. SRDS 2022: 82-93 - [i12]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 abs/2202.11385 (2022) - [i11]Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma:
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. CoRR abs/2204.14129 (2022) - [i10]Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma:
ViSearch: Weak Consistency Measurement for Replicated Data Types. CoRR abs/2205.03160 (2022) - [i9]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 abs/2209.01734 (2022) - 2021
- [j43]Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma:
On interleaving space exploration of multi-threaded programs. Frontiers Comput. Sci. 15(4): 154206 (2021) - [j42]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) - [j41]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) - [j40]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: 102136 (2021) - [j39]Wei Song, Hans-Arno Jacobsen, Chengzhen Zhang, Xiaoxing Ma:
Dependence-Based Data-Aware Process Conformance Checking. IEEE Trans. Serv. Comput. 14(3): 654-667 (2021) - [j38]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): 1224-1237 (2021) - [j37]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) - [c93]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 - [c92]Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma:
Synthesizing Object State Transformers for Dynamic Software Updates. ICSE 2021: 1111-1122 - [c91]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: 149-159 - [c90]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]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 abs/2103.13154 (2021) - 2020
- [j36]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) - [j35]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): 999-1015 (2020) - [c89]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 - [c88]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 - [c87]Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu:
Testing file system implementations on layered models. ICSE 2020: 1483-1495 - [c86]Di Huang, Zelin Zhao, Xiaoxing Ma:
Testing for Dynamic Software Update: An Object-State-Oriented Approach. Internetware 2020: 41-50 - [c85]Jingxin Fan, Yanxiang Tong, Yi Qin, Xiaoxing Ma:
Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA. Internetware 2020: 250-259 - [c84]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 - [i7]Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall:
Boosting API Recommendation with Implicit Feedback. CoRR abs/2002.01264 (2020)
2010 – 2019
- 2019
- [j34]Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma:
Preface. J. Comput. Sci. Technol. 34(5): 939-941 (2019) - [j33]Wei Song, Xiaoxing Ma, Hans-Arno Jacobsen:
Instance Migration Validity for Dynamic Evolution of Data-Aware Processes. IEEE Trans. Software Eng. 45(8): 782-801 (2019) - [c83]Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao:
VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. APSEC 2019: 78-85 - [c82]Chun Cao, Jing Deng, Ping Yu, Zhiyong Duan, Xiaoxing Ma:
ParaAim: Testing Android Applications Parallel at Activity Granularity. COMPSAC (1) 2019: 81-90 - [c81]Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao:
Structural coverage criteria for neural networks could be misleading. ICSE (NIER) 2019: 89-92 - [c80]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 - [c79]Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Xiaoxing Ma:
Fast Robustness Prediction for Deep Neural Network. Internetware 2019: 11:1-11:10 - [c78]Rongxun Guo, Tianxiao Gu, Yuan Yao, Feng Xu, Xiaoxing Ma:
Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study. Internetware 2019: 14:1-14:10 - [c77]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: 369-379 - [c76]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 - [c75]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 - [c74]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 - [c73]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 - [i6]Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu:
Boosting Operational DNN Testing Efficiency through Conditioning. CoRR abs/1906.02533 (2019) - [i5]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
- [j32]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) - [j31]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): 050108:1-050108:3 (2018) - [j30]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) - [j29]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) - [j28]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) - [c72]Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao:
An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning. COMPSAC (1) 2018: 80-89 - [c71]Jie Chen, Chun Cao, Ying Zhang, Xiaoxing Ma, Haiwei Zhou, Chengwei Yang:
Improving Cluster Resource Efficiency with Oversubscription. COMPSAC (1) 2018: 144-153 - [c70]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 - [c69]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 - [c68]Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu:
ReScue: crafting regular expression DoS attacks. ASE 2018: 225-235 - [c67]Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu:
SynEva: Evaluating ML Programs by Mirror Program Synthesis. QRS 2018: 171-182 - [c66]Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma:
Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. QRS 2018: 313-324 - [c65]Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu:
Testing multithreaded programs via thread speed control. ESEC/SIGSOFT FSE 2018: 15-25 - [e2]Guojun Wang, Qi Han, Md. Zakirul Alam Bhuiyan, Xiaoxing Ma, Frédéric Loulergue, Peng Li, Manuel Roveri, Lei Chen:
2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018. IEEE 2018, ISBN 978-1-5386-9380-3 [contents] - 2017
- [j27]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) - [j26]Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma:
Preface. J. Comput. Sci. Technol. 32(6): 1057-1059 (2017) - [j25]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) - [j24]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): 2979-2992 (2017) - [j23]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): 340-358 (2017) - [c64]Chun Cao, Weiyi Wang, Ying Zhang, Xiaoxing Ma:
Leveraging Column Family to Improve Multidimensional Query Performance in HBase. CLOUD 2017: 106-113 - [c63]Chun Cao, Chenglin Meng, Hongjun Ge, Ping Yu, Xiaoxing Ma:
Xdroid: Testing Android Apps with Dependency Injection. COMPSAC (1) 2017: 214-223 - [c62]Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü:
Synthesizing object transformation for dynam