Exposing library API misuses via mutation analysis. - Ming Wen 001; Yepang Liu 001; Rongxin Wu; Xuan Xie 001; Shing-Chi Cheung; Zhendong Su 001 (ICSE, 2019)

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. - Ming Wen 001; Rongxin Wu; Yepang Liu 001; Yongqiang Tian 001; Xuan Xie 001; Shing-Chi Cheung; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie 001; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (ATVA, 2021)

Neuro-Symbolic Verification of Deep Neural Networks. - Xuan Xie 001; Kristian Kersting; Daniel Neider (IJCAI, 2022)

Online Reset for Signal Temporal Logic Monitoring. - Zhenya Zhang; Paolo Arcaini; Xuan Xie 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

DeepGemini: Verifying Dependency Fairness for Deep Neural Network. - Xuan Xie 001; Fuyuan Zhang; Xinwen Hu; Lei Ma 003 (AAAI, 2023)

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. - Xuan Xie 001; Jiayang Song; Zhehua Zhou; Fuyuan Zhang; Lei Ma 003 (CoRR, 2023)

Analysis of recurrent neural networks via property-directed verification of surrogate models. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie 001; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (Int. J. Softw. Tools Technol. Transf., 2023)

$ mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems. - Jiayang Song; Xuan Xie 001; Lei Ma 003 (IEEE Trans. Software Eng., 2023)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation. - Zhehua Zhou; Jiayang Song; Xuan Xie 001; Zhan Shu; Lei Ma 003; Dikai Liu; Jianxiong Yin; Simon See (ICSE-SEIP, 2024)

Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward. - Xuan Xie 001; Jiayang Song; Zhehua Zhou; Yuheng Huang 004; Da Song; Lei Ma 003 (CoRR, 2024)

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems. - Renzhi Wang; Zhehua Zhou; Jiayang Song; Xuan Xie 001; Xiaofei Xie; Lei Ma 003 (CoRR, 2024)

LeCov: Multi-level Testing Criteria for Large Language Models. - Xuan Xie 001; Jiayang Song; Yuheng Huang 004; Da Song; Fuyuan Zhang; Felix Juefei-Xu; Lei Ma 003 (CoRR, 2024)

LUNA: A Model-Based Universal Analysis Framework for Large Language Models. - Da Song; Xuan Xie 001; Jiayang Song; Derui Zhu; Yuheng Huang 004; Felix Juefei-Xu; Lei Ma 003 (IEEE Trans. Software Eng., 2024)

Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing. - Wenhan Wang; Xuan Xie 001; Yuheng Huang 004; Renzhi Wang; An Ran Chen; Lei Ma 003 (CoRR, 2025)

GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model. - Zhehua Zhou; Xuan Xie 001; Jiayang Song; Zhan Shu; Lei Ma 003 (IEEE Trans. Neural Networks Learn. Syst., 2025)