A hierarchical framework: for parallel seismic applications. - Jian Lu 001; Yingjun Li; Xiaoxing Ma; Cai Min; XianPing Tao; Guanqun Zhang; Jianzhong Liu (Commun. ACM, 2000)

WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications. - Xiaoxing Ma; Alvin T. S. Chan; Jian Lu 001 (ICPP, 2002)

A mobile-agent-based approach to software coordination in the HOOPE system. - Xiaoxing Ma; Jian Lü 001; XianPing Tao; Yingjun Li; Hao Hu 001 (Sci. China Ser. F Inf. Sci., 2002)

A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture. - Xiaoxing Ma; Jian Lu 001; Jiannong Cao 001; Alvin T. S. Chan; Kang Zhang 001 (SEKE, 2003)

Architecting and implementing distributed Web applications using the graph-oriented approach. - Jiannong Cao 001; Xiaoxing Ma; Alvin T. S. Chan; Jian Lu 001 (Softw. Pract. Exp., 2003)

Dynamic Software Architecture Oriented Service Composition and Evolution. - Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (CIT, 2005)

Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection. - Wentian Lu; Jun Li 022; XianPing Tao; Xiaoxing Ma; Jian Lu 001 (EuroSSC, 2006)

A Mutual Exclusion Algorithm for Mobile Agents-Based Applications. - Chun Cao; Jiannong Cao 001; Xiaoxing Ma; Jian Lü 001 (ISPA, 2007)

Applying ontology in architecture-based self-management applications. - Yu Zhou 010; Jian Pan; Xiaoxing Ma; Bin Luo 003; XianPing Tao; Jian Lu 001 (SAC, 2007)

Constructing Self-Adaptive Systems with Polymorphic Software Architecture. - Xiaoxing Ma; Yu Zhou 010; Jian Pan; Ping Yu 004; Jian Lu 001 (SEKE, 2007)

Expectation, experiment and reflection on internet software evolution. - Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (ACM SIGSOFT Softw. Eng. Notes, 2007)

Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. - Wei Song 003; Xiaoxing Ma; Wanchun Dou; Jian Lü 001 (ICWS, 2008)

On environment-driven software model for Internetware. - Jian Lü 001; Xiaoxing Ma; XianPing Tao; Chun Cao; Yu Huang 002; Ping Yu 004 (Sci. China Ser. F Inf. Sci., 2008)

Multi-mode interaction middleware for software services. - XianPing Tao; Xiaoxing Ma; Jian Lu 001; Ping Yu 004; Yu Zhou 010 (Sci. China Ser. F Inf. Sci., 2008)

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Wanchun Dou; Jian Lu 001 (IEEE SCC, 2009)

Internetware: a shift of software paradigm. - Jian Lü 001; Xiaoxing Ma; Yu Huang 002; Chun Cao; Feng Xu 007 (Internetware, 2009)

ARTEMIS: an open coordination middleware system. - Ping Yu 004; Chun Cao; Xiaoxing Ma; Jian Lu 001 (Internetware, 2009)

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. - Yu Huang 002; Xiaoxing Ma; Jiannong Cao 001; XianPing Tao; Jian Lu 001 (PerCom, 2009)

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. - Wei Song 003; Xiaoxing Ma; Chunyang Ye; Wanchun Dou; Jian Lu 001 (QSIC, 2009)

Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency. - Yang Zou 001; Jian Lü 001; Xiaoqin Zeng; Xiaoxing Ma; Qiliang Yang (VINCI, 2009)

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments - Yu Huang 002; Jianping Yu; Jiannong Cao 001; Xiaoxing Ma; XianPing Tao; Jian Lu 001 (CoRR, 2009)

Preserving Data Flow Correctness in Process Adaptation. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Hao Hu 001; Jian Lu 001 (IEEE SCC, 2010)

Toward a fuzzy control-based approach to design of self-adaptive software. - Qiliang Yang; Jian Lü 001; Juelong Li; Xiaoxing Ma; Wei Song 003; Yang Zou 001 (Internetware, 2010)

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Hao Hu 001; Qiliang Yang; Jian Lü 001 (ICWS, 2011)

Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. - Chang Xu 001; Xiaoxing Ma; Chun Cao; Jian Lu 001 (MobiQuitous, 2011)

Version-consistent dynamic reconfiguration of component-based distributed systems. - Xiaoxing Ma; Luciano Baresi; Carlo Ghezzi; Valerio Panzica La Manna; Jian Lu 001 (SIGSOFT FSE, 2011)

Design of a Sliding Window over Asynchronous Event Streams - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (CoRR, 2011)

Towards Dynamic Evolution of Service Choreographies. - Wei Song 003; Gongxuan Zhang; Yang Zou 001; Qiliang Yang; Xiaoxing Ma (APSCC, 2012)

Javelus: A Low Disruptive Approach to Dynamic Software Updates. - Tianxiao Gu; Chun Cao; Chang Xu 001; Xiaoxing Ma; Linghao Zhang; Jian Lu 001 (APSEC, 2012)

Resynchronizing Model-Based Self-Adaptive Systems with Environments. - Linghao Zhang; Chang Xu 001; Xiaoxing Ma; Tianxiao Gu; Xuezhi Hong; Chun Cao; Jian Lu 001 (APSEC, 2012)

ConsView: Towards Application-Specific Consistent Context Views. - Haibin Yang; Chang Xu 001; Xiaoxing Ma; Linghao Zhang; Chun Cao; Jian Lu 001 (COMPSAC, 2012)

Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications. - Yu Huang 002; Xiaoxing Ma; Yiling Yang (ICPADS, 2012)

A priority-based transaction commit protocol for composite web services. - Wei Song 003; Zheng Gao; Jing Cai; Xiaoxing Ma (Internetware, 2012)

Dynamic fault detection in context-aware adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (Internetware, 2012)

Formal specification and runtime detection of temporal properties for asynchronous context. - Hengfeng Wei; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (PerCom, 2012)

Adam: Identifying defects in context-aware adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (J. Syst. Softw., 2012)

Environmental Modeling for Automated Cloud Application Testing. - Linghao Zhang; Xiaoxing Ma; Jian Lu 001; Tao Xie 001; Nikolai Tillmann; Peli de Halleux (IEEE Softw., 2012)

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments. - Yu Huang 002; Yiling Yang; Jiannong Cao 001; Xiaoxing Ma; XianPing Tao; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2012)

Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration. - Ping Su; Chun Cao; Xiaoxing Ma; Jian Lu 001 (APSEC (1), 2013)

Managing Environment and Adaptation Risks for the Internetware Paradigm. - Jian Lü 001; Yu Huang 002; Chang Xu 001; Xiaoxing Ma (Theories of Programming and Formal Methods, 2013)

Migration Validity of WS-BPEL Instances Revisited. - Wei Song 003; Xiaoxing Ma; Hao Hu 001; Yang Zou 001; Gongxuan Zhang (CSE, 2013)

Challenges in developing software for cyber-physical systems. - Linghao Zhang; Hui Sun; Xiaoxing Ma; Chang Xu 001; Jian Lu 001 (Internetware, 2013)

COCO: consistency analysis of process-driven internetware applications. - Wenjia Zhang; Wei Song 003; Xiaoxing Ma; Qiliang Yang; Xuewei Zhang (Internetware, 2013)

Environment rematching: Toward dependability improvement for self-adaptive applications. - Chang Xu 001; Wenhua Yang 001; Xiaoxing Ma; Chun Cao; Jian Lu 001 (ASE, 2013)

DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. - Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma (Middleware Doctoral Symposium, 2013)

Editor's note. - Gang Huang; Xiaoxing Ma; Weitek Tsai (Sci. China Inf. Sci., 2013)

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments. - Yiling Yang; Yu Huang 002; Xiaoxing Ma; Jian Lu 001 (CoRR, 2013)

Verifying PRAM Consistency over Read/Write Traces of Data Replicas - Hengfeng Wei; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (CoRR, 2013)

Detecting Faults in Context-Aware Adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lv 001 (Int. J. Softw. Informatics, 2013)

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty. - Qiliang Yang; Jian Lu 001; XianPing Tao; Xiaoxing Ma; Jianchun Xing; Wei Song 003 (J. Comput. Sci. Technol., 2013)

Application mobility in pervasive computing: A survey. - Ping Yu 004; Xiaoxing Ma; Jiannong Cao 001; Jian Lu 001 (Pervasive Mob. Comput., 2013)

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments. - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2013)

User Guided Automation for Testing Mobile Apps. - Xiujiang Li; Yanyan Jiang 001; Yepang Liu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (APSEC (1), 2014)

GAIN: GPU-Based Constraint Checking for Context Consistency. - Jun Sui; Chang Xu 001; Wang Xi; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (APSEC (1), 2014)

SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. - Wang Xi; Chang Xu 001; Wenhua Yang 001; Ping Yu 004; Xiaoxing Ma; Jiang Lu (APSEC (1), 2014)

Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. - Xihui Chen; Ruipeng Lu; Xiaoxing Ma; Jun Pang 001 (APWeb, 2014)

CARE: cache guided deterministic replay for concurrent Java programs. - Yanyan Jiang 001; Tianxiao Gu; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2014)

Automated recommendation of dynamic software update points: an exploratory study. - Zelin Zhao; Xiaoxing Ma; Chang Xu 001; Wenhua Yang 001 (Internetware, 2014)

Verifying self-adaptive applications suffering uncertainty. - Wenhua Yang 001; Chang Xu 001; Yepang Liu 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (ASE, 2014)

A middleware platform for the dynamic evolution of distributed component-based systems. - Yu Zhou 010; Xiaoxing Ma; Harald C. Gall (Computing, 2014)

Low-disruptive dynamic updating of Java applications. - Tianxiao Gu; Chun Cao; Chang Xu 001; Xiaoxing Ma; Linghao Zhang; Jian Lü 001 (Inf. Softw. Technol., 2014)

Design of a Sliding Window over Distributed and Asynchronous Event Streams. - Yiling Yang; Yu Huang 002; Jiannong Cao 001; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2014)

ABC: Accelerated Building of C/C++ Projects. - Ying Zhang 071; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma; Ping Yu 004 (APSEC, 2015)

Concolic Metamorphic Debugging. - Hao Jin; Yanyan Jiang 001; Na Liu; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (COMPSAC, 2015)

CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. - Xiangyu Wu; Chang Xu 001; Ziling Lu; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (COMPSAC, 2015)

Optimistic Shared Memory Dependence Tracing (T). - Yanyan Jiang 001; Du Li; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ASE, 2015)

An Event-Based Formal Framework for Dynamic Software Update. - Shengwei An; Xiaoxing Ma; Chun Cao; Ping Yu 004; Chang Xu 001 (QRS, 2015)

Cina: Suppressing the Detection of Unstable Context Inconsistency. - Chang Xu 001; Wang Xi; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (IEEE Trans. Software Eng., 2015)

Improving Reliability of Dynamic Software Updating Using Runtime Recovery. - Tianxiao Gu; Zelin Zhao; Xiaoxing Ma; Chang Xu 001; Chun Cao; Jian Lu 001 (APSEC, 2016)

Effectively Manifesting Concurrency Bugs in Android Apps. - Qiwei Li; Yanyan Jiang 001; Tianxiao Gu; Chang Xu 001; Jun Ma 010; Xiaoxing Ma; Jian Lu 001 (APSEC, 2016)

Testing Android Apps via Guided Gesture Event Generation. - Xiangyu Wu; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (APSEC, 2016)

CURE: Automated Patch Generation for Dynamic Software Update. - Zelin Zhao; Tianxiao Gu; Xiaoxing Ma; Chang Xu 001; Jian Lu 001 (APSEC, 2016)

Apsaras: Efficient Allocation of Physical Devices for Android Testing. - Tianchi Liu 002; Chun Cao; Jie Chen; Ziling Lu; Xiaoxing Ma (COMPSAC, 2016)

SLA-Aware and Green Resource Management of IaaS Clouds. - Shuo Cheng; Chun Cao; Ping Yu 004; Xiaoxing Ma (HPCC/SmartCity/DSS, 2016)

E-greenDroid: effective energy inefficiency analysis for android applications. - Jue Wang; Yepang Liu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (Internetware, 2016)

Automatic runtime recovery via error handler synthesis. - Tianxiao Gu; Chengnian Sun; Xiaoxing Ma; Jian Lü 001; Zhendong Su 001 (ASE, 2016)

Verifying Distributed Controllers with Local Invariants. - Yiqun Wang; Shengwei An; Xiaoxing Ma; Chun Cao; Chang Xu 001 (QRS, 2016)

Crash consistency validation made easy. - Yanyan Jiang 001; Haicheng Chen; Feng Qin; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (SIGSOFT FSE, 2016)

Online shared memory dependence reduction via bisectional coordination. - Yanyan Jiang 001; Chang Xu 001; Du Li; Xiaoxing Ma; Jian Lu 001 (SIGSOFT FSE, 2016)

Hybrid CPU-GPU constraint checking: Towards efficient context consistency. - Jun Sui; Chang Xu 001; Shing-Chi Cheung; Wang Xi; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (Inf. Softw. Technol., 2016)

Suppressing detection of inconsistency hazards with pattern learning. - Wang Xi; Chang Xu 001; Wenhua Yang 001; Xiaoxing Ma; Ping Yu 004; Jian Lu 001 (Inf. Softw. Technol., 2016)

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments. - Yiling Yang; Yu Huang 002; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Computers, 2016)

Process Discovery from Dependence-Complete Event Logs. - Wei Song 003; Hans-Arno Jacobsen; Chunyang Ye; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2016)

Leveraging Column Family to Improve Multidimensional Query Performance in HBase. - Chun Cao; Weiyi Wang; Ying Zhang 071; Xiaoxing Ma (CLOUD, 2017)

Xdroid: Testing Android Apps with Dependency Injection. - Chun Cao; Chenglin Meng; Hongjun Ge; Ping Yu 004; Xiaoxing Ma (COMPSAC (1), 2017)

Synthesizing object transformation for dynamic software updating. - Tianxiao Gu; Xiaoxing Ma; Chang Xu 001; Yanyan Jiang 001; Chun Cao; Jian Lü 001 (ICSE (Companion Volume), 2017)

AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications. - Tianxiao Gu; Chun Cao; Tianchi Liu 002; Chengnian Sun; Jing Deng; Xiaoxing Ma; Jian Lu 001 (ICSME, 2017)

NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. - Yi Liu; Jue Wang; Chang Xu 001; Xiaoxing Ma (Internetware, 2017)

API Usage Change Rules Mining based on Fine-grained Call Dependency Analysis. - Ping Yu 004; Fei Yang; Chun Cao; Hao Hu 001; Xiaoxing Ma (Internetware, 2017)

Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. - Xiaoxing Ma; Tianxiao Gu; Wei Song 003 (SETSS, 2017)

CyanDroid: stable and effective energy inefficiency diagnosis for Android apps. - Qiwei Li; Chang Xu 001; Yepang Liu 001; Chun Cao; Xiaoxing Ma; Jian Lü 001 (Sci. China Inf. Sci., 2017)

Preface. - Tao Xie 001; Yuanfang Cai; Xuanzhe Liu; Xiaoyin Wang; Mithun P. Acharya; Marcelo d'Amorim; Xiaoxing Ma (J. Comput. Sci. Technol., 2017)

How effectively can spreadsheet anomalies be detected: An empirical study. - Ruiqing Zhang; Chang Xu 001; Shing-Chi Cheung; Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (J. Syst. Softw., 2017)

Scientific Workflow Mining in Clouds. - Wei Song 003; Fangfei Chen; Hans-Arno Jacobsen; Xiaoxu Xia; Chunyang Ye; Xiaoxing Ma (IEEE Trans. Parallel Distributed Syst., 2017)

Efficient Dynamic Updates of Distributed Components Through Version Consistency. - Luciano Baresi; Carlo Ghezzi; Xiaoxing Ma; Valerio Panzica La Manna (IEEE Trans. Software Eng., 2017)

Improving Cluster Resource Efficiency with Oversubscription. - Jie Chen; Chun Cao; Ying Zhang 071; Xiaoxing Ma; Haiwei Zhou; Chengwei Yang (COMPSAC (1), 2018)

An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning. - Hao Sun; Xiaoxing Ma; Tiansi Dong; Armin B. Cremers; Chun Cao (COMPSAC (1), 2018)

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. - Tianxiao Gu; Xiaoxing Ma; Chang Xu 001; Yanyan Jiang 001; Chun Cao; Jian Lu 001 (ECOOP, 2018)

Synthesizing relation-aware entity transformation by examples. - Jiarong Wu; Yanyan Jiang 001; Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Jian Lu 001 (ICSE (Companion Volume), 2018)

ReScue: crafting regular expression DoS attacks. - Yuju Shen; Yanyan Jiang 001; Chang Xu 001; Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (ASE, 2018)

Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. - Dawei Cheng; Chun Cao; Chang Xu 001; Xiaoxing Ma (QRS, 2018)

SynEva: Evaluating ML Programs by Mirror Program Synthesis. - Yi Qin 002; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (QRS, 2018)

Testing multithreaded programs via thread speed control. - Dongjie Chen; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ESEC/SIGSOFT FSE, 2018)

NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications. - Yi Liu; Jue Wang; Chang Xu 001; Xiaoxing Ma; Jian Lü 001 (Sci. China Inf. Sci., 2018)

Mining API usage change rules for software framework evolution. - Ping Yu 004; Fei Yang; Chun Cao; Hao Hu 001; Xiaoxing Ma (Sci. China Inf. Sci., 2018)

Efficient validation of self-adaptive applications by counterexample probability maximization. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Chun Cao; Xiaoxing Ma; Jian Lu 001 (J. Syst. Softw., 2018)

AATT+: Effectively manifesting concurrency bugs in Android apps. - Jue Wang; Yanyan Jiang 001; Chang Xu 001; Qiwei Li; Tianxiao Gu; Jun Ma 010; Xiaoxing Ma; Jian Lu 001 (Sci. Comput. Program., 2018)

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. - Wenhua Yang 001; Chang Xu 001; Minxue Pan; Xiaoxing Ma; Jian Lu 001 (ACM Trans. Internet Techn., 2018)

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. - Ziqi Chen; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Chun Cao (APSEC, 2019)

ParaAim: Testing Android Applications Parallel at Activity Granularity. - Chun Cao; Jing Deng; Ping Yu 004; Zhiyong Duan; Xiaoxing Ma (COMPSAC (1), 2019)

Practical GUI testing of Android applications via model abstraction and refinement. - Tianxiao Gu; Chengnian Sun; Xiaoxing Ma; Chun Cao; Chang Xu 001; Yuan Yao 001; Qirun Zhang; Jian Lu 001; Zhendong Su 001 (ICSE, 2019)

Structural coverage criteria for neural networks could be misleading. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Chun Cao (ICSE (NIER), 2019)

Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study. - Rongxun Guo; Tianxiao Gu; Yuan Yao 001; Feng Xu 007; Xiaoxing Ma (Internetware, 2019)

Fast Robustness Prediction for Deep Neural Network. - Yue-Huan Wang; Zenan Li; Jingwei Xu 001; Ping Yu 004; Xiaoxing Ma (Internetware, 2019)

Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery. - Hongyu Kuang; Hui Gao; Hao Hu 001; Xiaoxing Ma; Jian Lu 001; Patrick Mäder; Alexander Egyed (ICPC, 2019)

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. - Da Li; Huiyan Wang 001; Chang Xu 001; Ruiqing Zhang; Shing-Chi Cheung; Xiaoxing Ma (ASE, 2019)

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. - Da Li; Huiyan Wang 001; Chang Xu 001; Fengmin Shi; Xiaoxing Ma; Jian Lu 001 (QRS, 2019)

Boosting operational DNN testing efficiency through conditioning. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Chun Cao; Jingwei Xu 001; Jian Lü 001 (ESEC/SIGSOFT FSE, 2019)

Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. - Wenjie Li; Yanyan Jiang 001; Chang Xu 001; Yepang Liu 001; Xiaoxing Ma; Jian Lu 001 (SANER, 2019)

Preface. - Tao Xie 001; Jun Wei 001; Chang Xu 001; Zhi Jin; Xiaoxing Ma (J. Comput. Sci. Technol., 2019)

Instance Migration Validity for Dynamic Evolution of Data-Aware Processes. - Wei Song 003; Xiaoxing Ma; Hans-Arno Jacobsen (IEEE Trans. Software Eng., 2019)

Testing file system implementations on layered models. - Dongjie Chen; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

Dissector: input validation for deep learning applications by crossing-layer dissection. - Huiyan Wang 001; Jingwei Xu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

ComboDroid: generating high-quality test inputs for Android apps via use case combinations. - Jue Wang; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA. - Jingxin Fan; Yanxiang Tong; Yi Qin 002; Xiaoxing Ma (Internetware, 2020)

Testing for Dynamic Software Update: An Object-State-Oriented Approach. - Di Huang; Zelin Zhao; Xiaoxing Ma (Internetware, 2020)

Operational calibration: debugging confidence errors for DNNs in the field. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Jingwei Xu 001; Chun Cao; Jian Lu 001 (ESEC/SIGSOFT FSE, 2020)

Perspectives on search strategies in automated test input generation. - Yang Cao; Yanyan Jiang 001; Chang Xu 001; Jun Ma 010; Xiaoxing Ma (Frontiers Comput. Sci., 2020)

Predicted Robustness as QoS for Deep Neural Network Models. - Yue-Huan Wang; Zenan Li; Jingwei Xu 001; Ping Yu 004; Taolue Chen 001; Xiaoxing Ma (J. Comput. Sci. Technol., 2020)

Synthesizing Object State Transformers for Dynamic Software Updates. - Zelin Zhao; Yanyan Jiang 001; Chang Xu 001; Tianxiao Gu; Xiaoxing Ma (ICSE, 2021)

PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. - Zelin Zhao; Yanyan Jiang 001; Chang Xu 001; Tianxiao Gu; Xiaoxing Ma (ICSE (Companion Volume), 2021)

Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text. - Kexin Sun; Hui Gao; Hongyu Kuang; Xiaoxing Ma; Guoping Rong; Dong Shao; He Zhang 001 (ICPC, 2021)

Timely and accurate detection of model deviation in self-adaptive software-intensive systems. - Yanxiang Tong; Yi Qin 002; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma (ESEC/SIGSOFT FSE, 2021)

On interleaving space exploration of multi-threaded programs. - Dongjie Chen; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma (Frontiers Comput. Sci., 2021)

Towards effective metamorphic testing by algorithm stability for linear classification programs. - Yingzhuo Yang; Zenan Li; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma (J. Syst. Softw., 2021)

Making pointer analysis more precise by unleashing the power of selective context sensitivity. - Tian Tan 001; Yue Li 006; Xiaoxing Ma; Chang Xu 001; Yannis Smaragdakis (Proc. ACM Program. Lang., 2021)

A robot hand-eye calibration method of line laser sensor based on 3D reconstruction. - Mingyang Li; Zhijiang Du; Xiaoxing Ma; Wei Dong 004; Yongzhuo Gao (Robotics Comput. Integr. Manuf., 2021)

Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. - Wei Song 003; Hans-Arno Jacobsen; Shing-Chi Cheung; Hongyu Liu; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2021)

Dependence-Based Data-Aware Process Conformance Checking. - Wei Song 003; Hans-Arno Jacobsen; Chengzhen Zhang; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2021)

Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. - Huiyan Wang 001; Chang Xu 001; Bingying Guo; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Software Eng., 2021)

Incorporating Pre-trained Transformer Models into TextCNN for Sentiment Analysis on Software Engineering Texts. - Kexin Sun; Xiaobo Shi; Hui Gao; Hongyu Kuang; Xiaoxing Ma; Guoping Rong; Dong Shao; Zheng Zhao; He Zhang 001 (Internetware, 2022)

Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery. - Hui Gao; Hongyu Kuang; Kexin Sun; Xiaoxing Ma; Alexander Egyed; Patrick Mäder; Guoping Rong; Dong Shao; He Zhang 001 (ASE, 2022)

ADEPT: A Testing Platform for Simulated Autonomous Driving. - Sen Wang; Zhuheng Sheng; Jingwei Xu 001; Taolue Chen 001; Junjun Zhu; Shuhui Zhang; Yuan Yao 001; Xiaoxing Ma (ASE, 2022)

Fair Representation Learning: An Alternative to Mutual Information. - Ji Liu; Zenan Li; Yuan Yao 001; Feng Xu 007; Xiaoxing Ma; Miao Xu 001; Hanghang Tong (KDD, 2022)

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (SRDS, 2022)

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (CoRR, 2022)

MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. - Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (CoRR, 2022)

ViSearch: Weak Consistency Measurement for Replicated Data Types. - Lintian Shi; Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (CoRR, 2022)

Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery. - Hui Gao; Hongyu Kuang; Xiaoxing Ma; Hao Hu 001; Jian Lü 001; Patrick Mäder; Alexander Egyed (Empir. Softw. Eng., 2022)

TOAST: Automated Testing of Object Transformers in Dynamic Software Updates. - Zelin Zhao; Di Huang; Xiaoxing Ma (J. Comput. Sci. Technol., 2022)

Boosting API Recommendation With Implicit Feedback. - Yu Zhou 010; Xinying Yang; Taolue Chen 001; Zhiqiu Huang; Xiaoxing Ma; Harald C. Gall (IEEE Trans. Software Eng., 2022)

Softened Symbol Grounding for Neuro-symbolic Systems. - Zenan Li; Yuan Yao 001; Taolue Chen 001; Jingwei Xu 001; Chun Cao; Xiaoxing Ma; Jian Lü 001 (ICLR, 2023)

Learning with Logical Constraints but without Shortcut Satisfaction. - Zenan Li; Zehua Liu; Yuan Yao 001; Jingwei Xu 001; Taolue Chen 001; Xiaoxing Ma; Jian Lü 001 (ICLR, 2023)

Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. - Zenan Li; Maorun Zhang; Jingwei Xu 001; Yuan Yao 001; Chun Cao; Taolue Chen 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2023)

Data Quality Matters: A Case Study of Obsolete Comment Detection. - Shengbin Xu; Yuan Yao 001; Feng Xu 007; Tianxiao Gu; Jingwei Xu 001; Xiaoxing Ma (ICSE, 2023)

Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. - Yuqi Zhang; Lingzhi Ouyang; Yu Huang 002; Xiaoxing Ma (Internetware, 2023)

Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models. - Bingzhe Zhou; Xinying Wang; Shengbin Xu; Yuan Yao 001; Minxue Pan; Feng Xu 007; Xiaoxing Ma (Internetware, 2023)

Neuro-symbolic Learning Yielding Logical Constraints. - Zenan Li; Yunpeng Huang; Zhaoyu Li; Yuan Yao 001; Jingwei Xu 001; Taolue Chen 001; Xiaoxing Ma; Jian Lu 001 (NeurIPS, 2023)

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. - Lingzhi Ouyang; Yu Huang 002; Binyu Huang; Xiaoxing Ma (SETTA, 2023)

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. - Lingzhi Ouyang; Yu Huang 002; Binyu Huang; Hengfeng Wei; Xiaoxing Ma (CoRR, 2023)

Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. - Yunpeng Huang; Jingwei Xu 001; Zixu Jiang; Junyu Lai; Zenan Li; Yuan Yao 001; Taolue Chen 001; Lijuan Yang; Zhou Xin; Xiaoxing Ma (CoRR, 2023)

The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model. - Zelin Zhao; Zhaogui Xu; Jialong Zhu; Peng Di; Yuan Yao 001; Xiaoxing Ma (CoRR, 2023)

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. - Wenjie Ma; Shengyuan Yang; Tian Tan 001; Xiaoxing Ma; Chang Xu 001; Yue Li 006 (Proc. ACM Program. Lang., 2023)

Growing Software: Objective, Methodology, and Technology. - Jian Lu 001; Chang Xu 001; Xiaoxing Ma; Bin Hu 001 (IEEE Trans. Comput. Soc. Syst., 2023)

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. - Qinlin Chen; Nairen Zhang; Jinpeng Wang; Tian Tan 001; Chang Xu 001; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2023)

Artifact for TRIAD ICSE'2024. - Hui Gao; Hongyu Kuang; Wesley K. G. Assunção; Christoph Mayr-Dorn; Guoping Rong; He Zhang 001; Xiaoxing Ma; Alexander Egyed (Zenodo, 2023)

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. - Ruize Tang; Xudong Sun 013; Yu Huang 002; Yuyang Wei; Lingzhi Ouyang; Xiaoxing Ma (EuroSys, 2024)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts. - Hui Gao; Hongyu Kuang; Wesley K. G. Assunção; Christoph Mayr-Dorn; Guoping Rong; He Zhang 001; Xiaoxing Ma; Alexander Egyed (ICSE, 2024)

NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries. - Jiahua Huang; Chun Cao; Jun Ma 010; Xiaoxing Ma (Internetware, 2024)

On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference. - Senrong Xu; Jiamei Shen; Yunfan Li; Yuan Yao 001; Ping Yu 004; Feng Xu 007; Xiaoxing Ma (Internetware, 2024)

AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects. - Kexin Sun; Yiding Ren; Hongyu Kuang; Hui Gao; Xiaoxing Ma; Guoping Rong; Dong Shao; He Zhang 001 (ASE, 2024)

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference. - Guangyuan Wu; Weining Cao; Yuan Yao 001; Hengfeng Wei; Taolue Chen 001; Xiaoxing Ma (ASE, 2024)

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. - Zenan Li; Yifan Wu; Zhaoyu Li; Xinming Wei; Xian Zhang; Fan Yang; Xiaoxing Ma (NeurIPS, 2024)

Neuro-Symbolic Data Generation for Math Reasoning. - Zenan Li; Zhi Zhou; Yuan Yao 001; Xian Zhang; Yu-Feng Li; Chun Cao; Fan Yang; Xiaoxing Ma (NeurIPS, 2024)

Symbolic Execution with Test Cases Generated by Large Language Models. - Jiahe Xu 006; Jingwei Xu 001; Taolue Chen 001; Xiaoxing Ma (QRS, 2024)

Securing Reliability: A Brief Overview on Enhancing In-Context Learning for Foundation Models. - Yunpeng Huang; Yaonan Gu; Jingwei Xu 001; Zhihong Zhu; Zhaorun Chen; Xiaoxing Ma (CoRR, 2024)

LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation. - Hao Gao; Jingyue Wang; Wenyang Fang; Jingwei Xu 001; Yunpeng Huang; Taolue Chen 001; Xiaoxing Ma (CoRR, 2024)

Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. - Yi Qin 002; Yanxiang Tong; Yifei Xu; Chun Cao; Xiaoxing Ma (Proc. ACM Softw. Eng., 2024)

Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach. - Wei Cheng; Wei Hu 007; Xiaoxing Ma (IEEE Trans. Software Eng., 2024)

Understanding and Detecting Inefficient Image Displaying Issues in Android Apps. - Wenjie Li; Jun Ma 010; Yanyan Jiang 001; Chang Xu 001; Xiaoxing Ma (J. Comput. Sci. Technol., 2024)

Model-checking-driven explorative testing of CRDT designs and implementations. - Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (J. Softw. Evol. Process., 2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification. - Lingzhi Ouyang; Xudong Sun 013; Ruize Tang; Yu Huang 002; Madhav Jivrajani; Xiaoxing Ma; Tianyin Xu (EuroSys, 2025)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. - Zenan Li; Zhaoyu Li; Wen Tang; Xian Zhang; Yuan Yao 001; Xujie Si; Fan Yang; Kaiyu Yang; Xiaoxing Ma (ICLR, 2025)

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. - Ruize Tang; Minghua Wang; Xudong Sun 013; Lin Huang; Yu Huang 002; Xiaoxing Ma (USENIX ATC, 2025)

Pointer Analysis for Database-Backed Applications. - Yufei Liang; Teng Zhang; Ganlin Li; Tian Tan 001; Chang Xu 001; Chun Cao; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2025)

Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference. - Weining Cao; Guangyuan Wu; Tangzhi Xu; Yuan Yao 001; Hengfeng Wei; Taolue Chen 001; Xiaoxing Ma (Proc. ACM Softw. Eng., 2025)

Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning. - Zhi Zhou; Tan Yuhao; Zenan Li; Yuan Yao 001; Lan-Zhe Guo; Xiaoxing Ma; Yu-Feng Li (CoRR, 2025)

SCG-tree: shortcut enhanced graph hierarchy tree for efficient spatial queries on massive road networks. - Zhuo Cao; Chun Cao; Jianqiu Xu; Jingwei Xu 001; Zhefei Chen; Zi Chen 003; Xiaoxing Ma (Frontiers Comput. Sci., 2025)

NexuSym: Marrying symbolic path finders with large language models. - Jiayi Wang; Ping Yu 004; Yi Qin 002; Yanyan Jiang 001; Yuan Yao 001; Xiaoxing Ma (Autom. Softw. Eng., 2025)