DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. - Yiting Wu; Zhaodi Zhang; Zhiyi Xue; Si Liu 003; Min Zhang 002 (CoRR, 2022)

Boosting Verified Training for Robust Image Classifications via Abstraction. - Zhaodi Zhang; Zhiyi Xue; Yang Chen; Si Liu 003; Yueling Zhang; Jing Liu 012; Min Zhang 002 (CVPR, 2023)

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. - Zhiyi Xue; Si Liu 003; Zhaodi Zhang; Yiting Wu; Min Zhang 002 (ISSTA, 2023)

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 007; Pingping Li; Liangyu Chen 001; Tingting Jiang 012; Min Zhang 002 (ICSE Companion, 2024)

LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. - Zhiyi Xue; Liangguo Li; Senyue Tian; Xiaohong Chen 007; Pingping Li; Liangyu Chen 001; Tingting Jiang 012; Min Zhang 002 (ISSTA, 2024)