Jingwei Xu

Jingwei Xu

I am a assistant professor at Nanjing University. My research interests include Large Language Models.

Symbolic Execution with Test Cases Generated by Large Language Models

Published in 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS), 2024

Recommended citation: Xu, Jiahe; Xu, Jingwei; Chen, Taolue; Ma, Xiaoxing;. (2024). Symbolic Execution with Test Cases Generated by Large Language Models. 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS). pp. 228-237. IEEE