Xuan Xie

Assitant Professor
School of Computer Science and Engineering, Faculty of Innovation Engineering, Macau University of Science and Technology

E-mail: xiexuan[at]must[dot]edu[dot]mo
[Google Scholar]
Study as if you were to live forever, live as if you were to die tomorrow

About

Education

2022-2025: Ph.D., University of Alberta, Edmonton, Canada. Supervisor: Prof. Lei Ma

2019-2021: Master, Max Planck Institute for Software Systems, Kaiserslautern, Germany.

2015-2019: Bachelor, Sun Yat-sen University, Guangzhou, China

Research Interests

Trustworthiness Analysis for Large Language Model (Trustworthy LLM) [TSE'24, TAI'25, arxiv'24]

Safety Analysis for AI-enabled Cyber-Physical Systems (AI-CPS) [TNNLS'24, arxiv'23, ICSE'24, TSE'23, TCAD'22]

Neural Network Verification (NNV) to provide formal guarantees to AI models [AAAI'23, STTT'23, IJCAI'22, ATVA'21]

Publication

[pre-print] Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing
Wenhan Wang, Xuan Xie, Yuheng Huang, Renzhi Wang, An Ran Chen, Lei Ma
Under submission

[pre-print] LeCov: Multi-level Testing Criteria for Large Language Models
Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Fuyuan Zhang, Felix Juefei-Xu, Lei Ma
Under submission

[pre-print] MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems
Renzhi Wang, Zhehua Zhou, Jiayang Song, Xuan Xie, Xiaofei Xie, Lei Ma
Under submission

[pre-print] MOSAIC: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
Under submission

[TAI'25] Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward
Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, Lei Ma
IEEE Transactions on Artificial Intelligence

[TNNLS'24] GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model
Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, Lei Ma
IEEE Transactions on Neural Networks and Learning Systems. (JCR Q1)

[TSE'24] LUNA: A Model-Based Universal Analysis Framework for Large Language Models
Da Song*, Xuan Xie*, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma
IEEE Transactions on Software Engineering. (CCF-A, Equal contribution)

[ICSE'24] Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
Zhehua Zhou*, Jiayang Song*, Xuan Xie*, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See
The 46th International Conference on Software Engineering, the Software Engineering in Practice track (CCF-A, Equal contribution)

[TSE'23] SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems
Jiayang Song, Xuan Xie, Lei Ma
IEEE Transactions on Software Engineering. (CCF-A)

[AAAI'23] DeepGemini: Verifying Dependency Fairness for Deep Neural Network
Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
The Thirty-Seventh AAAI Conference on Artificial Intelligence. (CCF-A)

[STTT'23] Analysis of Recurrent Neural Networks via Property-directed Verification of Surrogate Models
Igor Khmelnitsky*, Daniel Neider*, Rajarshi Roy*, Xuan Xie*, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker and Lina Ye
The International Journal on Software Tools for Technology Transfer (CCF-C, Equal contribution)

[TCAD'22] Online Reset for Signal Temporal Logic Monitoring
Zhenya Zhang, Paolo Arcaini, Xuan Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (JCR Q1)

[IJCAI'22] Neuro-Symbolic Verification of Deep Neural Networks
Xuan Xie, Kristian Kersting, Daniel Neider
The 31st International Joint Conference on Artificial Intelligence (CCF-A)

[ATVA'21] Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
Igor Khmelnitsky*, Daniel Neider*, Rajarshi Roy*, Xuan Xie*, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker and Lina Ye
The 19th International Symposium on Automated Technology for Verification and Analysis (CCF-C, Equal contribution)

[ESEC/FSE'19] Exploring and Exploiting the Correlations between Bug-inducing and Bug-fixing Commits
Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su
The 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (CCF-A)

[ICSE'19] Exposing Library API Misuses via Mutation Analysis
Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su
The 41st International Conference on Software Engineering (CCF-A)

Talk

SUSTECH: Trustworthiness Analysis for Large Language Models: Exploring Model-Based Analysis and Benchmarking Online Defect Detection Methods

ICSE 2024: SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems

ICSE 2024: Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation

AAAI 2023: DeepGemini: Verifying Dependency Fairness for Deep Neural Network

IJCAI 2022: Neuro-Symbolic Verification of Deep Neural Networks

ATVA 2021: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

HIGHLIGHT 2021: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

LWDA 2021: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Service

Journal Reviewer

Conference Reviewer/PC member

Student Volunteer

Teaching

MUST 2025 Fall

UAlberta 2025 Winter

UAlberta 2024 Fall

UAlberta 2024 Winter

UAlberta 2023 Fall