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
42 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
41 2019 Neuro-symbolic verification of deep neural networks X Xie, K Kersting, D Neider
arXiv preprint arXiv:2203.00938, 2022
18 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, ...
Automated Technology for Verification and Analysis: 19th International …, 2021
13 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
8 2019 Online reset for signal temporal logic monitoring Z Zhang, P Arcaini, X Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
5 2022 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
3 2023 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
arXiv preprint arXiv:2310.14211, 2023
1 2023 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
arXiv preprint arXiv:2308.00055, 2023
1 2023 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
1 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
1 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
arXiv preprint arXiv:2404.08517, 2024
2024 : A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical SystemsJ Song, X Xie, L Ma
IEEE Transactions on Software Engineering, 2023
2023 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