Conference
Large Language Model Enabled Symbolic Execution for Automated Functional Analysis
| Title: | Large Language Model Enabled Symbolic Execution for Automated Functional Analysis |
|---|---|
| Authors: | Liu, Meixi, Chen, Zhenbang, Wang, Xudong, He, Ziran, Gu, Jiachen, Chen, Minghui, Wang, Lei, Dong, Wei |
| Source: | Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :2895-2907 |
| Availability: | http://dl.acm.org/doi/10.1145/3832783.3837524 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3832783.3837524 |
|---|