Tian, Y.; Yan, W.; Yang, Q.; Zhao, X.; Chen, Q.; Wang, W.; Luo, Z.; Ma, L.; Song, D. CodeHalu: Investigating Code Hallucinations in LLMs via Execution-Based Verification. AAAI 2025, 39, 25300-25308.