TY  - RPRT
TI  - Python Symbolic Execution with LLM-powered Code Generation
AU  - Wenhan Wang
AU  - Kaibo Liu
AU  - An Ran Chen
AU  - Ge Li
AU  - Zhi Jin
AU  - Gang Huang
AU  - Lei Ma
PY  - 2024
UR  - https://arxiv.org/abs/2409.09271
ID  - 2409.09271
ER  -