Xuan Xie

23 papers A* 3B 1Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
LeCov: Multi-level testing criteria for large language models.
J. Syst. Softw.
Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Felix Juefei-Xu, Lei Ma
2026 J jnl
Mosaic: model-based safety analysis for AI-enabled cyber physical system.
Empir. Softw. Eng.
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
2026 J jnl
Online Safety Analysis for LLMs: A Benchmark, an Assessment, and a Path Forward.
IEEE Trans. Artif. Intell.
Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, Lei Ma
2025 J jnl
Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing.
CoRR
Wenhan Wang, Xuan Xie, Yuheng Huang, Renzhi Wang, An Ran Chen, Lei Ma
2025 J jnl
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model.
IEEE Trans. Neural Networks Learn. Syst.
Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, Lei Ma
2024 J jnl
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model.
CoRR
Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, Lei Ma
2024 J jnl
LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
IEEE Trans. Software Eng.
Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma
2024 J jnl
LeCov: Multi-level Testing Criteria for Large Language Models.
CoRR
Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Fuyuan Zhang, Felix Juefei-Xu, Lei Ma
2024 J jnl
MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems.
CoRR
Renzhi Wang, Zhehua Zhou, Jiayang Song, Xuan Xie, Xiaofei Xie, Lei Ma
2024 J jnl
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward.
CoRR
Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, Lei Ma
2024 — conf
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
ICSE-SEIP
Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See
2023 J jnl
$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.
IEEE Trans. Software Eng.
Jiayang Song, Xuan Xie, Lei Ma
2023 J jnl
Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf.
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023 A* conf
DeepGemini: Verifying Dependency Fairness for Deep Neural Network.
AAAI
Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
2023 J jnl
LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
CoRR
Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma
2023 J jnl
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.
CoRR
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
2023 J jnl
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
CoRR
Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See
2022 A* conf
Neuro-Symbolic Verification of Deep Neural Networks.
IJCAI
Xuan Xie, Kristian Kersting, Daniel Neider
2022 J jnl
Neuro-Symbolic Verification of Deep Neural Networks.
CoRR
Xuan Xie, Kristian Kersting, Daniel Neider
2022 J jnl
Online Reset for Signal Temporal Logic Monitoring.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhenya Zhang, Paolo Arcaini, Xuan Xie
2021 B conf
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
ATVA
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2019 — conf
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.
ESEC/SIGSOFT FSE
Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su
2019 A* conf
Exposing library API misuses via mutation analysis.
ICSE
Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su