Exploring and exploiting the correlations between bug-inducing and bug-fixing commits M Wen, R Wu, Y Liu, Y Tian, X Xie, SC Cheung, Z Su
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
59 2019 Exposing library API misuses via mutation analysis M Wen, Y Liu, R Wu, X Xie, SC Cheung, Z Su
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
47 2019 Neuro-symbolic verification of deep neural networks X Xie, K Kersting, D Neider
arXiv preprint arXiv:2203.00938, 2022
28 2022 Property-directed verification and robustness certification of recurrent neural networks I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ...
International Symposium on Automated Technology for Verification and …, 2021
20 2021 Exposing library API misuses via mutation analysis. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) M Wen, Y Liu, R Wu, X Xie, SC Cheung, Z Su
IEEE, 2019
12 2019 Towards building AI-CPS with NVIDIA Isaac Sim: An industrial benchmark and case study for robotics manipulation Z Zhou, J Song, X Xie, Z Shu, L Ma, D Liu, J Yin, S See
Proceedings of the 46th international conference on software engineering …, 2024
10 2024 Online safety analysis for llms: a benchmark, an assessment, and a path forward X Xie, J Song, Z Zhou, Y Huang, D Song, L Ma
arXiv preprint arXiv:2404.08517, 2024
9 2024 Analysis of recurrent neural networks via property-directed verification of surrogate models I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ...
International Journal on Software Tools for Technology Transfer 25 (3), 341-354, 2023
9 2023 J Song, X Xie, L Ma
IEEE Transactions on Software Engineering 49 (8), 4058-4080, 2023
8 2023 Mosaic: Model-based safety analysis framework for AI-enabled cyber-physical systems X Xie, J Song, Z Zhou, F Zhang, L Ma
arXiv preprint arXiv:2305.03882, 2023
8 2023 LUNA : A Model-Based Universal Analysis Framework for Large Language ModelsD Song, X Xie, J Song, D Zhu, Y Huang, F Juefei-Xu, L Ma
IEEE Transactions on Software Engineering, 2024
7 2024 Online reset for signal temporal logic monitoring Z Zhang, P Arcaini, X Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
7 2022 Deepgemini: verifying dependency fairness for deep neural network X Xie, F Zhang, X Hu, L Ma
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15251 …, 2023
6 2023 MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems R Wang, Z Zhou, J Song, X Xie, X Xie, L Ma
arXiv preprint arXiv:2408.03892, 2024
2 2024 GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model Z Zhou, X Xie, J Song, Z Shu, L Ma
IEEE Transactions on Neural Networks and Learning Systems, 2024
1 2024 Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing W Wang, X Xie, Y Huang, R Wang, AR Chen, L Ma
arXiv preprint arXiv:2501.09866, 2025
2025 LeCov: Multi-level Testing Criteria for Large Language Models X Xie, J Song, Y Huang, D Song, F Zhang, F Juefei-Xu, L Ma
arXiv preprint arXiv:2408.10474, 2024
2024 DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration X Xie, F Zhang
arXiv preprint arXiv:2201.08087, 2022
2022 Formal Verification of Neural Networks by Learning Automata Models I Khmelnitskya, D Neiderc, R Royc, X Xiec, B Barbotd, B Bolliga, A Finkela, ...
LiVe 2022 6th Workshop on Learning in Verification, 0