Publications of Xiaoxing Ma

Conference
Journal

Conference

[2024] [2023] [2022] [2021] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2003] [2002]

2024

Hui Gao, Hongyu Kuang, Wesley K. G. Assunção, Christoph Mayr-Dorn, Guoping Rong, He Zhang, Xiaoxing Ma, Alex Egyed, and er, “TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts”, in Proceedings of the IEEE/ACM 46th International Conference on Software Engineering , 2024.
Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, and Xiaoxing Ma, “SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration”, in Proceedings of the Nineteenth European Conference on Computer Systems , 736–753, 2024.

2023

Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, and Jian Lú, “Neuro-symbolic Learning Yielding Logical Constraints”, in The Thirty-Seventh Annual Conference on Neural Information Processing Systems (NeurIPS 2023) , Accepted, 2023.

Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, and Lü Jian, “Softened Symbol Grounding for Neuro-symbolic Systems”, in The Eleventh International Conference on Learning Representations (ICLR 2023) , 2023.
Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, and Lü Jian, “Learning with Logical Constraints but without Shortcut Satisfaction”, in The Eleventh International Conference on Learning Representations (ICLR 2023) , notable top 25%, 2023.
Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, and Jian Lü, “Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective”, in Proceedings of the 45th International Conference on Software Engineering (ICSE 2023) , 1187–1199, 2023.
Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, and Xiaoxing Ma, “Data Quality Matters: A Case Study of Obsolete Comment Detection”, in Proceedings of the 45th International Conference on Software Engineering (ICSE 2023) , 781–793, 2023.

2022

Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, and Xiaoxing Ma, “Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction”, in 2022 41st International Symposium on Reliable Distributed Systems (SRDS) , 82–93, 2022.
Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alex Egyed, er, Patrick Mäder, Guoping Rong, Dong Shao, and He Zhang, “Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery”, in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022.
Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, and Xiaoxing Ma, “ADEPT: A Testing Platform for Simulated Autonomous Driving”, in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022 Tool Demo) , 2022.
Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, and Hanghang Tong, “Fair Representation Learning: An Alternative to Mutual Information”, in Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining , 1088–1097, 2022.
Kexin Sun, Xiaobo Shi, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, Zheng Zhao, and He Zhang, “Incorporating Pre-Trained Transformer Models into TextCNN for Sentiment Analysis on Software Engineering Texts”, in Proceedings of the 13th Asia-Pacific Symposium on Internetware , 127–136, 2022.

2021

Jingxin Fan, Yanxiang Tong, Yi Qin, and Xiaoxing Ma, “Overwhelming Uncertainty in Self-Adaptation: An Empirical Study on PLA and CobRA”, in Proceedings of the 12th Asia-Pacific Symposium on Internetware , 250–259, 2021.
Di Huang, Zelin Zhao, and Xiaoxing Ma, “Testing for Dynamic Software Update: An Object-State-Oriented Approach”, in Proceedings of the 12th Asia-Pacific Symposium on Internetware , 41–50, 2021.
Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, and Xiaoxing Ma, “Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive Systems”, in Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 168–180, 2021.
Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, and Xiaoxing Ma, “PASTA: Synthesizing Object State Transformers for Dynamic Software Updates”, in Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings , 211–212, 2021.

2019

Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, and Jian Lü, “Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps”, in 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) , 355–365, 2019.

Hongyu Kuang, Hui Gao, Hao Hu, Xiaoxing Ma, Jian Lü, Patrick Mäder, Alex Egyed, and er, “Using Frugal User Feedback with Closeness Analysis on Code to Improve IR-based Traceability Recovery”, in Proceedings of the 27th International Conference on Program Comprehension , 369–379, 2019.
Rongxun Guo, Tianxiao Gu, Yuan Yao, Feng Xu, and Xiaoxing Ma, “Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study”, in Proceedings of the 11th Asia-Pacific Symposium on Internetware , 14:1--14:10, 2019.
Chun Cao, Jing Deng, Ping Yu, Zhiyong Duan, and Xiaoxing Ma, “ParaAim: Testing Android Applications Parallel at Activity Granularity”, in 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) , 1, 81–90, 2019.
Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, and Jian Lu, “WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties”, in 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) , 139–150, 2019.
Yuehuan Wang, Zenan Li, Jingwei Xu, Ping Yu, and Xiaoxing Ma, “Fast Robustness Prediction for Deep Neural Network”, in Proceedings of the 11th Asia-Pacific Symposium on Internetware , 11:1--11:10, 2019.
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, and Jian Lü, “Boosting Operational DNN Testing Efficiency Through Conditioning”, in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 499–509, 2019.
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, and Zhendong Su, “Practical GUI Testing of Android Applications via Model Abstraction and Refinement”, in Proceedings of the 41st International Conference on Software Engineering , 269–280, 2019.
Zenan Li, Xiaoxing Ma, Chang Xu, and Chun Cao, “Structural Coverage Criteria for Neural Networks Could Be Misleading”, in Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results , 89–92, 2019.

2018

Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu, “Testing Multithreaded Programs via Thread Speed Control”, in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) , 15–25, 2018.
Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu, “ReScue: Crafting Regular Expression DoS Attacks”, in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE) , 225–235, 2018.
Dawei Cheng, Chun Cao, Chang Xu, and Xiaoxing Ma, “Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing”, in 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 313–324, 2018.
Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, and Jian Lu, “SynEva: Evaluating ML Programs by Mirror Program Synthesis”, in 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 171–182, 2018.
Jie Chen, Chun Cao, Ying Zhang, Xiaoxing Ma, Haiwei Zhou, and Chengwei Yang, “Improving Cluster Resource Efficiency with Oversubscription”, in 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) , 01, 144–153, 2018.
Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, and Chun Cao, “An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning”, in 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) , 01, 80–89, 2018.
Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, and Jian Lu, “Synthesizing Relation-aware Entity Transformation by Examples”, in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings , 266–267, 2018.
Xiaoxing Ma, Tianxiao Gu, and Wei Song, “Software Is Not Soft -- Challenges and Approaches to Dynamic Software Update”, in Engineering Trustworthy Software Systems (SETSS 2017) , 11174, 143–175, 2018.
Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu, “Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis”, in Proceedings of 32nd European Conference on Object-Oriented Programming (ECOOP 2018) , 19:1-28, 2018.

2017

Tianxiao Gu, Chun Cao, Tianchi Liu, Chengnian Sun, Jing Deng, Xiaoxing Ma, and J. Lü, “AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications”, in 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) , 103–114, 2017.

Chun Cao, Chenglin Meng, Hongjun Ge, Ping Yu, and Xiaoxing Ma, “Xdroid: Testing Android Apps with Dependency Injection”, in Proceedings of the 2017 IEEE 41st Annual Computer Software and Applications Conference , 2017.

Chun Cao, Weiyi Wang, Ying Zhang, and Xiaoxing Ma, “Leveraging Column Family to Improve Multidimensional Query Performance in HBase”, in 2017 IEEE 10th International Conference on Cloud Computing (CLOUD) , 106–113, 2017.

Ping Yu, Fei Yang, Chun Cao, Hao Hu, and Xiaoxing Ma, “API Usage Change Rules Mining Based on Fine-grained Call Dependency Analysis”, in Proceedings of the 9th Asia-Pacific Symposium on Internetware , 10:1--10:9, 2017.
Yi Liu, Jue Wang, Chang Xu, and Xiaoxing Ma, “NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications”, in Proceedings of the 9th Asia-Pacific Symposium on Internetware , 8:1--8:10, 2017.
Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lü, “Synthesizing Object Transformation for Dynamic Software Updating”, in Proceedings of the 39th International Conference on Software Engineering Companion , 336–338, 2017.

2016

Shuo Cheng, Chun Cao, Ping Yu, and Xiaoxing Ma, “SLA-Aware and Green Resource Management of IaaS Clouds”, in 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS) , 457–464, 2016.

Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, and Jian Lu, “Online Shared Memory Dependence Reduction via Bisectional Coordination”, in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) , 822–832, 2016.
Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash Consistency Validation Made Easy”, in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) , 133–143, 2016.
Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, and Jian Lu, “Testing Android Apps via Guided Gesture Event Generation”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 201–208, 2016.
Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lu, “Effectively Manifesting Concurrency Bugs in Android Apps”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 209–216, 2016.
Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, and Jian Lu, “CURE: Automated Patch Generation for Dynamic Software Update”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 249–256, 2016.
Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, and Jian Lu, “Improving Reliability of Dynamic Software Updating Using Runtime Recovery”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 257–264, 2016.
T. Liu, C. Cao, J. Chen, Z. Lu, and X. Ma, “Apsaras: Efficient Allocation of Physical Devices for Android Testing”, in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) , 1, 269–274, 2016.
Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “E-greenDroid: Effective Energy Inefficiency Analysis for Android Applications”, in Proceedings of the 8th Asia-Pacific Symposium on Internetware , 71–80, 2016.
Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, and Chang Xu, “Verifying Distributed Controllers with Local Invariants”, in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 120–131, 2016.
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su, “Automatic Runtime Recovery via Error Handler Synthesis”, in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) , 684–695, 2016.

2015

Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Ping Yu, “ABC: Accelerated Building of C/C++ Projects”, in Proceedings of the 22nd Asia-Pacific Software Engineering Conference (APSEC 2015) , 182–189, 2015.

Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, and Jian Lu, “Optimistic Shared Memory Dependence Tracing”, in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) , 524–534, 2015.

Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps”, in Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 02 , 632–637, 2015.
Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “Concolic Metamorphic Debugging”, in Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 02 , 232–241, 2015.
Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, and Chang Xu, “An Event-Based Formal Framework for Dynamic Software Update”, in Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security , 173–182, 2015.

2014

Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, and Jian Lu, “SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference , 414–421, 2014.

Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “User Guided Automation for Testing Mobile Apps”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference , 27–34, 2014.

Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “GAIN: GPU-based Constraint Checking for Context Consistency”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference , 342–349, 2014.

Zelin Zhao, Xiaoxing Ma, Chang Xu, and Wenhua Yang, “Automated Recommendation of Dynamic Software Update Points: An Exploratory Study”, in Proceedings of the 6th Asia-Pacific Symposium on Internetware on Internetware , 136–144, 2014.
Xihui Chen, Ruipeng Lu, Xiaoxing Ma, and Jun Pang, “Measuring User Similarity with Trajectory Patterns: Principles and New Metrics”, in Web Technologies and Applications , 8709, 437–448, 2014.
Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu, “Verifying Self-adaptive Applications Suffering Uncertainty”, in Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering , 199–210, 2014.
Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu, “CARE: Cache guided deterministic replay for concurrent Java programs”, in Proceedings of the 36th International Conference on Software Engineering , 457–467, 2014.

2013

Ping Su, Chun Cao, Xiaoxing Ma, and Jian Lu, “Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration”, in Proceedings of th 20th Asia-Pacific Software Engineering Conference , 450–458, 2013.
Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lu, “Environment rematching: Toward dependability improvement for self-adaptive applications”, in Proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering , 592–597, 2013.

2012

Chang Xu, Xiaoxing Ma, Chun Cao, and Jian Lu, “Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing”, in Mobile and Ubiquitous Systems: Computing, Networking, and Services , 104, 285–297, 2012.
Yu Huang, Xiaoxing Ma, and Yiling Yang, “Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications”, in Parallel and Distributed Systems (ICPADS), 2012 IEEE 18th International Conference on , 416–423, 2012.
Wei Song, Gongxuan Zhang, Yang Zou, Qiliang Yang, and Xiaoxing Ma, “Towards Dynamic Evolution of Service Choreographies”, in Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference) , 225–232, 2012.
Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, and Jian Lu, “Resynchronizing Model-Based Self-Adaptive Systems with Environments”, in Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01 , 184–193, 2012.
Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lu, “Javelus: A Low Disruptive Approach to Dynamic Software Updates”, in Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01 , 527–536, 2012.
Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, and Jian Lu, “ConsView: Towards Application-Specific Consistent Context Views”, in Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference , 632–637, 2012.
Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Dynamic fault detection in context-aware adaptation”, in Proceedings of the Fourth Asia-Pacific Symposium on Internetware , 1:1--1:10, 2012.
Wei Song, Zheng Gao, Jing Cai, and Xiaoxing Ma, “A priority-based transaction commit protocol for composite web services”, in Proceedings of the Fourth Asia-Pacific Symposium on Internetware , 2:1--2:10, 2012.

2011

Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, and Jian Lu, “Refactoring and Publishing WS-BPEL Processes to Obtain More Partners”, in Proceedings of the 2011 IEEE International Conference on Web Services , 129–136, 2011.
Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, and Jian Lu, “Version-consistent dynamic reconfiguration of component-based distributed systems”, in Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering , 245–255, 2011.

2010

Yang Zou, Jian Lü, Xiaoqin Zeng, Xiaoxing Ma, and Qiliang Yang, “Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency”, in Visual Information Communication (VINCI 2009) , 135–147, 2010.
Qiliang Yang, Jian Lü, Juelong Li, Xiaoxing Ma, Wei Song, and Yang Zou, “Toward a fuzzy control-based approach to design of self-adaptive software”, in Proceedings of the Second Asia-Pacific Symposium on Internetware , 15:1--15:4, 2010.
Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, and Jian Lü, “Preserving Data Flow Correctness in Process Adaptation”, in Proceedings of the 2010 IEEE International Conference on Services Computing , 9–16, 2010.

2009

Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, and Jian Lü, “Timed Modeling and Verification of BPEL Processes Using Time Petri Nets”, in Proceedings of the 2009 Ninth International Conference on Quality Software , 92–97, 2009.
Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, and Jian Lu, “A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions”, in Proceedings of the 2009 IEEE International Conference on Services Computing , 427–434, 2009.
Yu Huang, Xiaoxing Ma, Jiannong Cao, Xianping Tao, and Jian Lu, “Concurrent Event Detection for Asynchronous consistency checking of pervasive context”, in Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications , 1–9, 2009.
Ping Yu, Chun Cao, Xiaoxing Ma, and Jian Lu, “ARTEMIS: an open coordination middleware system”, in Proceedings of the First Asia-Pacific Symposium on Internetware , 20:1--20:1, 2009.
Jian Lü, Xiaoxing Ma, Yu Huang, Chun Cao, and Feng Xu, “Internetware: a shift of software paradigm”, in Proceedings of the First Asia-Pacific Symposium on Internetware , 7:1--7:9, 2009.

2008

Wei Song, Xiaoxing Ma, Wanchun Dou, and Jian Lü, “Toward a Model-Based Approach to Dynamic Adaptation of Composite Services”, in Proceedings of the 2008 IEEE International Conference on Web Services , 561–568, 2008.

2007

Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, and Jian Lu, “Constructing self-adaptive systems with polymorphic software architecture”, in Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007) , 2–8, 2007.

Chun Cao, Jiannong Cao, Xiaoxing Ma, and Jian Lü, “A mutual exclusion algorithm for mobile agents-based applications”, in Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications , 56–67, 2007.
Yu Zhou, Jian Pan, Xiaoxing Ma, Bin Luo, Xianping Tao, and Jian Lu, “Applying ontology in architecture-based self-management applications”, in Proceedings of the 2007 ACM symposium on Applied computing , 97–103, 2007.

2006

Wentian Lu, Jun Li, Xianping Tao, Xiaoxing Ma, and Jian Lu, “Shadow: a middleware in pervasive computing environment for user controllable privacy protection”, in Proceedings of the First European conference on Smart Sensing and Context , 143–158, 2006.

2005

Ping Yu, Xiaoxing Ma, and Jian Lu, “Dynamic Software Architecture Oriented Service Composition and Evolution”, in Proceedings of the The Fifth International Conference on Computer and Information Technology , 1123–1129, 2005.

2003

Xiaoxing Ma, J Cao, A Chan, J Lu, and Kang Zhang, “A graph-oriented approach to the description and implementation of distributed and dynamic software architecture”, in Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering , 2003.

2002

Jiannong Cao, Xiaoxing Ma, Alvin T. S. Chan, and Jian Lu, “WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications”, in Proceedings of the 2002 International Conference on Parallel Processing , 266--, 2002.

Journal

[2024] [2023] [2022] [2021] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2008] [2003] [2002] [2000]

2024

Wei Cheng, Wei Hu, and Xiaoxing Ma, “Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach”, IEEE Transactions on Software Engineering , 50(2), 258–279, 2024.

2023

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

2022

Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, and Harald Gall, “Boosting API Recommendation With Implicit Feedback”, IEEE Trans. Softw. Eng. , 48(6), 2157–2172, 2022.
Hui Gao, Hongyu Kuang, Xiaoxing Ma, Hao Hu, Jian Lü, Patrick Mäder, Alex Egyed, and er, “Propagating Frugal User Feedback through Closeness of Code Dependencies to Improve IR-Based Traceability Recovery”, Empirical Software Engineering , 27(2), 2022.

2021

Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis, “Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity”, Proceedings of the ACM on Programming Languages , 5(OOPSLA), 2021.
Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, and Xiaoxing Ma, “Towards Effective Metamorphic Testing by Algorithm Stability for Linear Classification Programs”, Journal of Systems and Software , 180(C), 2021.
Dongjie Chen, Yanyan Jiang, Chang Xu, and Xiaoxing Ma, “On Interleaving Space Exploration of Multi-Threaded Programs”, Frontiers of Computer Science , 15(4), 2021.

2019

H. Wang, C. Xu, B. Guo, X. Ma, and J. Lu, “Generic Adaptive Scheduling for Efficient Context Inconsistency Detection”, IEEE Transactions on Software Engineering , accepted, to appear., 2019.
Wei Song, Xiaoxing Ma, and Hans-Arno Jacobsen, “Instance Migration Validity for Dynamic Evolution of Data-Aware Processes”, IEEE Transactions on Software Engineering , 45(8), 782–801, 2019.

2018

Wei Song, Hans-Arno Jacobsen, S. C. Cheung, Hongyu Liu, and Xiaoxing Ma, “Workflow Refactoring for Maximizing Concurrency and Block-Structuredness”, IEEE Transactions on Services Computing , Accepted. To appear., 2018.

Ping Yu, Fei Yang, Chun Cao, Hao Hu, and Xiaoxing Ma, “Mining API usage change rules for software framework evolution”, Science China Information Sciences , 61(5), 1–3, 2018.

Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma, and Jian Lü, “NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications”, Science China Information Sciences , 61(5), 1–20, 2018.

Wei Song, Hans-Arno Jacobsen, Chengzhen Zhang, and Xiaoxing Ma, “Dependence-Based Data-Aware Process Conformance Checking”, IEEE Transactions on Services Computing , Accepted, to appear., 2018.

Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, and Jian Lu, “AATT+: Effectively manifesting concurrency bugs in Android apps”, Science of Computer Programming , 163, 1–18, 2018.
Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, and Jian Lu, “Efficient validation of self-adaptive applications by counterexample probability maximization”, Journal of Systems and Software , 138, 82 - 99, 2018.
Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, and Jian Lu, “Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty”, ACM Transactions on Internet Technology , 18(2), 20:1--20:37, 2018.

2017

Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Xiaxu Xia, Chunyang Ye, and Xiaoxing Ma, “Scientific Workflow Mining in Clouds”, IEEE Transactions on Parallel and Distributed Systems , 28(10), 2979–2992, 2017.

Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lü, “CyanDroid: stable and effective energy inefficiency diagnosis for Android apps”, Science China Information Sciences , 60(1), 012104:1-18, 2017.
Ruiqing Zhang, Chang Xu, S.C. Cheung, Ping Yu, Xiaoxing Ma, and Jian Lu, “How effectively can spreadsheet anomalies be detected: An empirical study”, Journal of Systems and Software , 126, 87 - 100, 2017.
Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, and Valerio Panzica La Manna, “Efficient Dynamic Updates of Distributed Components through Version Consistency”, IEEE Transactions on Software Engineering , 43(4), 340–358, 2017.

2016

Yiling Yang, Yu Huang, Xiaoxing Ma, and Jian Lu, “Enabling Context-Awareness by Predicate Detection in Asynchronous Environments”, IEEE Transactions on Computers , 65(2), 522–534, 2016.

Wei Song, Hans-Arno Jacobsen, Chunyang Ye, and Xiaoxing Ma Ma, “Process Discovery from Dependence-Complete Event Logs”, IEEE Transactions on Services Computing , 9(5), 714–727, 2016.

Jun Sui, Chang Xu, S.C. Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “Hybrid CPU-GPU constraint checking: Towards efficient context consistency”, Information and Software Technology (IST) , 74(0), 230–242, 2016.
Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, and Jian Lu, “Suppressing detection of inconsistency hazards with pattern learning”, Information and Software Technology (IST) , 74(0), 219–229, 2016.

2015

Chang Xu, Wang Xi, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Cina: Suppressing the Detection of Unstable Context Inconsistency”, IEEE Transactions on Software Engineering , 41(9), 842–865, 2015.

2014

Gang Huang, Xiaoxing Ma, and Wei-Tek Tsai, “A new software paradigm for Internet computing”, National Science Review , 1(2), 168–169, 2014.
Yu Zhou, Xiaoxing Ma, and Harald Gall, “A middleware platform for the dynamic evolution of distributed component-based systems”, Computing , 96(8), 725–747, 2014.
Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü, “Low-disruptive Dynamic Updating of Java Applications”, Information and Software Technology , 56(9), 1086–1098, 2014.
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, and Jian Lu, “Design of a sliding window over distributed and asynchronous event streams”, IEEE Transactions on Parallel and Distributed Systems , 25(10), 2551–2560, 2014.

2013

Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, and Jian Lu, “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments”, IEEE Transactions on Parallel and Distributed Systems , 24(8), 1546–1555, 2013.
Qiliang Yang, Jian Lü, Xianping Tao, Xiaoxing Ma, Jianchun Xing, and Wei Song, “Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty”, Journal of Computer Science and Technology , 28(1), 165–187, 2013.
Ping Yu, Xiaoxing Ma, Jiannong Cao, and Jian Lu, “Application mobility in pervasive computing: A survey”, Pervasive Mob. Comput. , 9(1), 2–17, 2013.

2012

Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, and Peli de Halleux, “Environmental Modeling for Automated Cloud Application Testing”, IEEE Softw. , 29(2), 30–35, 2012.
Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, and Jian Lu, “Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments”, IEEE Trans. Parallel Distrib. Syst. , 23(4), 744–750, 2012.
Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Adam: Identifying defects in context-aware adaptation”, J. Syst. Softw. , 85(12), 2812–2828, 2012.