Liu, M., Chen, Z., Wang, X., He, Z., Gu, J., Chen, M., . . . Dong, W. (2026). Large Language Model Enabled Symbolic Execution for Automated Functional Analysis. Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering, 2895. https://doi.org/10.1145/3832783.3837524
Παραπομπή σε μορφή Chicago (17η εκδ.)Liu, Meixi, Zhenbang Chen, Xudong Wang, Ziran He, Jiachen Gu, Minghui Chen, Lei Wang, και Wei Dong. "Large Language Model Enabled Symbolic Execution for Automated Functional Analysis." Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering 2026: 2895. https://doi.org/10.1145/3832783.3837524.
Παραπομπή σε μορφή MLA (9th εκδ.)Liu, Meixi, et al. "Large Language Model Enabled Symbolic Execution for Automated Functional Analysis." Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering, 2026, p. 2895, https://doi.org/10.1145/3832783.3837524.