APA (7th ed.) Citation

Feng, R., Gupta, V., Patel, V., Ernampati, V. R., & Saha, S. (2025). Can Large Language Models Simulate Symbolic Execution Output Like KLEE?

Chicago Style (17th ed.) Citation

Feng, Rong, Vanisha Gupta, Vivek Patel, Viroopaksh Reddy Ernampati, and Suman Saha. Can Large Language Models Simulate Symbolic Execution Output Like KLEE? 2025.

MLA (9th ed.) Citation

Feng, Rong, et al. Can Large Language Models Simulate Symbolic Execution Output Like KLEE? 2025.