Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaoxing Ma
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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) - [c102]Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. ICLR 2023 - [c101]Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. ICLR 2023 - [c100]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 - [c99]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 - [i14]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) - [i13]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) - 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, S. C. 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 dynamic software updating. ICSE (Companion Volume) 2017: 336-338 - [c61]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: 103-114 - [c60]Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma:
NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. Internetware 2017: 8:1-8:10 - [c59]Ping Yu, Fei Yang, Chun Cao, Hao Hu, Xiaoxing Ma:
API Usage Change Rules Mining based on Fine-grained Call Dependency Analysis. Internetware 2017: 10:1-10:9 - [c58]Xiaoxing Ma, Tianxiao Gu, Wei Song:
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. SETSS 2017: 143-175 - 2016
- [j22]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) - [j21]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) - [j20]Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu:
Enabling Context-Awareness by Predicate Detection in Asynchronous Environments. IEEE Trans. Computers 65(2): 522-534 (2016) - [j19]Wei Song, Hans-Arno Jacobsen, Chunyang Ye, Xiaoxing Ma:
Process Discovery from Dependence-Complete Event Logs. IEEE Trans. Serv. Comput. 9(5): 714-727 (2016) - [c57]Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu:
Testing Android Apps via Guided Gesture Event Generation. APSEC 2016: 201-208 - [c56]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 - [c55]Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu:
CURE: Automated Patch Generation for Dynamic Software Update. APSEC 2016: 249-256 - [c54]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 - [c53]Tianchi Liu, Chun Cao, Jie Chen, Ziling Lu, Xiaoxing Ma:
Apsaras: Efficient Allocation of Physical Devices for Android Testing. COMPSAC 2016: 269-274 - [c52]Shuo Cheng, Chun Cao, Ping Yu, Xiaoxing Ma:
SLA-Aware and Green Resource Management of IaaS Clouds. HPCC/SmartCity/DSS 2016: 457-464 - [c51]Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu:
E-greenDroid: effective energy inefficiency analysis for android applications. Internetware 2016: 71-80 - [c50]Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, Zhendong Su:
Automatic runtime recovery via error handler synthesis. ASE 2016: 684-695 - [c49]Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu:
Verifying Distributed Controllers with Local Invariants. QRS 2016: 120-131 - [c48]Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, Jian Lu:
Crash consistency validation made easy. SIGSOFT FSE 2016: 133-143 - [c47]Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu:
Online shared memory dependence reduction via bisectional coordination. SIGSOFT FSE 2016: 822-832 - 2015
- [j18]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) - [c46]Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu:
ABC: Accelerated Building of C/C++ Projects. APSEC 2015: 182-189 - [c45]Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu:
Concolic Metamorphic Debugging. COMPSAC 2015: 232-241 - [c44]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 - [c43]Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu:
Optimistic Shared Memory Dependence Tracing (T). ASE 2015: 524-534 - [c42]Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu:
An Event-Based Formal Framework for Dynamic Software Update. QRS 2015: 173-182 - [e1]Hong Mei, Jian Lü, Xiaoxing Ma, Qianxiang Wang, Gang Yin, Xiaofei Liao:
Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015. ACM 2015, ISBN 978-1-4503-3641-3 [contents] - 2014
- [j17]Yu Zhou, Xiaoxing Ma, Harald C. Gall:
A middleware platform for the dynamic evolution of distributed component-based systems. Computing 96(8): 725-747 (2014) - [j16]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) - [j15]Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu:
Design of a Sliding Window over Distributed and Asynchronous Event Streams. IEEE Trans. Parallel Distributed Syst. 25(10): 2551-2560 (2014) - [c41]Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu:
User Guided Automation for Testing Mobile Apps. APSEC (1) 2014: 27-34 - [c40]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 - [c39]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 - [c38]Xihui Chen, Ruipeng