| 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 | 72 | 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 | 51 | 2019 |
| Neuro-symbolic verification of deep neural networks X Xie, K Kersting, D Neider arXiv preprint arXiv:2203.00938, 2022 | 44 | 2022 |
| 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 | 43 | 2024 |
| Luna: A model-based universal analysis framework for large language models D Song, X Xie, J Song, D Zhu, Y Huang, F Juefei-Xu, L Ma IEEE Transactions on Software Engineering 50 (7), 1921-1948, 2024 | 26 | 2024 |
| 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 | 25 | 2021 |
| 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 | 16 | 2023 |
| 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 IEEE Transactions on Artificial Intelligence, 2025 | 15 | 2025 |
| 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 | 15 | 2023 |
| : A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems J Song, X Xie, L Ma IEEE Transactions on Software Engineering 49 (8), 4058-4080, 2023 | 14 | 2023 |
| Online reset for signal temporal logic monitoring Z Zhang, P Arcaini, X Xie IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 14 | 2022 |
| 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 |
| 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 | 11 | 2023 |
| Fakespotter: A simple baseline for spotting ai-synthesized fake faces. arXiv 2019 R Wang, L Ma, F Juefei-Xu, X Xie, J Wang, Y Liu arXiv preprint arXiv:1909.06122 2, 0 | 9 | |
| 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 | 7 | 2024 |
| Fakespotter: A simple yet robust baseline for spotting ai-synthesized fake faces. arXiv 2019 R Wang, F Juefei-Xu, L Ma, X Xie, Y Huang, J Wang, Y Liu arXiv preprint arXiv:1909.06122, 0 | 6 | |
| Neuro-symbolic verification of deep neural networks. arXiv X Xie, K Kersting, D Neider | 5 | 2022 |
| Adversarial Exposure Attack on Diabetic Retinopathy Imagery. arXiv preprint arXiv Y Cheng, F Juefei-Xu, Q Guo, H Fu, X Xie, SW Lin, W Lin, Y Liu | 5 | 2020 |
| 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 | 4 | 2024 |
| Lecov: Multi-level testing criteria for large language models X Xie, J Song, Y Huang, D Song, F Juefei-Xu, L Ma Journal of Systems and Software, 112763, 2025 | 2 | 2025 |
