Conference
Large Language Model Enabled Symbolic Execution for Automated Functional Analysis
| Τίτλος: | Large Language Model Enabled Symbolic Execution for Automated Functional Analysis |
|---|---|
| Συγγραφείς: | Liu, Meixi, Chen, Zhenbang, Wang, Xudong, He, Ziran, Gu, Jiachen, Chen, Minghui, Wang, Lei, Dong, Wei |
| Πηγή: | Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :2895-2907 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3832783.3837524 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!