Zhiyi Xue

According to our database, Zhiyi Xue authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain.

Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.

Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.

Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang

CoRR, 2022