{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T16:12:14Z","timestamp":1758039134970,"version":"3.44.0"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T00:00:00Z","timestamp":1749254400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T00:00:00Z","timestamp":1749254400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1007\/s10515-025-00529-1","type":"journal-article","created":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T23:47:48Z","timestamp":1749253668000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["NexuSym: Marrying symbolic path finders with large language models"],"prefix":"10.1007","volume":"32","author":[{"given":"Jiayi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanyan","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Yao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,7]]},"reference":[{"key":"529_CR1","unstructured":"Alagarsamy, S., Tantithamthavorn, C., Aleti, A.: A3test: Assertion-augmented automated test case generation. CoRR abs\/2302.10352. https:\/\/doi.org\/10.48550\/ARXIV2302.10352, URL https:\/\/doi.org\/10.48550\/arXiv.2302.10352,2302.10352 (2023)"},{"key":"529_CR2","doi-asserted-by":"publisher","unstructured":"Anand, S., Godefroid, P., Tillmann, N.: Demand-driven compositional symbolic execution. In: Ramakrishnan CR, Rehof J (eds) Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, Lecture Notes in Computer Science, vol 4963. Springer, pp 367-381 (2008), https:\/\/doi.org\/10.1007\/978-3-540-78800-3_28","DOI":"10.1007\/978-3-540-78800-3_28"},{"issue":"1","key":"529_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/S10009-008-0090-1","volume":"11","author":"S Anand","year":"2009","unstructured":"Anand, S., Pasareanu, C.S., Visser, W.: Symbolic execution with abstraction. Int J Softw Tools Technol Transf 11(1), 53\u201367 (2009). https:\/\/doi.org\/10.1007\/S10009-008-0090-1","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"2","key":"529_CR4","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/2560217.2560219","volume":"57","author":"T Avgerinos","year":"2014","unstructured":"Avgerinos, T., Cha, S.K., Rebert, A., et al.: Automatic exploit generation. Commun ACM 57(2), 74\u201384 (2014a). https:\/\/doi.org\/10.1145\/2560217.2560219","journal-title":"Commun ACM"},{"key":"529_CR5","doi-asserted-by":"crossref","unstructured":"Avgerinos, T., Rebert, A., Cha, S.K., et al.: Enhancing symbolic execution with veritesting. In: Jalote P, Briand LC, van der Hoek A (eds) 36th International Conference on Software Engineering, ICSE \u201914, Hyderabad, India - May 31 - June 07, 2014. ACM, pp 1083-1094 (2014b), https:\/\/doi.org\/10.1145\/2568225.2568293","DOI":"10.1145\/2568225.2568293"},{"key":"529_CR6","doi-asserted-by":"publisher","unstructured":"Babic, D., Hu, A.J.: Calysto: scalable and precise extended static checking. In: Sch\u00e4fer W, Dwyer MB, Gruhn V (eds) 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. ACM, pp 211-220 (2008), https:\/\/doi.org\/10.1145\/1368088.1368118","DOI":"10.1145\/1368088.1368118"},{"key":"529_CR7","doi-asserted-by":"publisher","unstructured":"Baldoni R, Coppa E, D\u2019Elia DC, et al (2018) A survey of symbolic execution techniques. ACM Comput Surv 51(3):50:1-50:39. https:\/\/doi.org\/10.1145\/3182657","DOI":"10.1145\/3182657"},{"key":"529_CR8","doi-asserted-by":"crossref","unstructured":"Boonstoppel, P., Cadar, C., Engler, D.R.: Rwset: Attacking path explosion in constraint-based test generation. In: Ramakrishnan CR, Rehof J (eds) Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, Lecture Notes in Computer Science, vol 4963. Springer, pp 351- 366 (2008), https:\/\/doi.org\/10.1007\/978-3-540-78800-3_27","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"529_CR9","unstructured":"Brown, T.B., Mann, B., Ryder, N., et al.: Language models are few-shot learners (2020). arXiv preprint arXiv:2005.14165 URL https:\/\/proceedings.neurips.cc\/paper\/2020\/hash\/1457c0d6bfcb4967418bfb8ac142f64a-Abstract.html"},{"key":"529_CR10","unstructured":"Bugrara, S., Engler, D.R.: Redundant state detection for dynamic symbolic execution. In: Birrell A, Sirer EG (eds) Proceedings of the 2013 USENIX Annual Technical Conference, USENIX ATC 2013, San Jose, CA, USA, June 26-28, 2013. USENIX Association, pp 199-211 (2013), URL https:\/\/www.usenix.org\/conference\/atc13\/technical-sessions\/presentation\/bugrara"},{"issue":"2","key":"529_CR11","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun ACM 56(2), 82\u201390 (2013). https:\/\/doi.org\/10.1145\/2408776.2408795","journal-title":"Commun ACM"},{"key":"529_CR12","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Draves R, van Renesse R (eds) 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings. USENIX Association, pp 209-224 (2008), URL http:\/\/www.usenix.org\/events\/osdi08\/tech\/fullpapers\/cadar\/cadar.pdf"},{"key":"529_CR13","doi-asserted-by":"crossref","unstructured":"Cha, S., Oh, H.: Concolic testing with adaptively changing search heuristics. In: Dumas M, Pfahl D, Apel S, et al (eds) Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26- 30, 2019. ACM, pp 235-245 (2019), https:\/\/doi.org\/10.1145\/3338906.3338964","DOI":"10.1145\/3338906.3338964"},{"key":"529_CR14","doi-asserted-by":"crossref","unstructured":"Cha, S., Oh, H.: Making symbolic execution promising by learning aggressive statepruning strategy. In: Devanbu P, Cohen MB, Zimmermann T (eds) ESEC\/FSE \u201920: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8- 13, 2020. ACM, pp 147-158 (2020), https:\/\/doi.org\/10.1145\/3368089.3409755","DOI":"10.1145\/3368089.3409755"},{"key":"529_CR15","doi-asserted-by":"crossref","unstructured":"Cha, S., Hong, S., Lee, J., et al.: Automatically generating search heuristics for concolic testing. In: Chaudron M, Crnkovic I, Chechik M, et al (eds) Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM, pp 1244-1254 (2018), URL https:\/\/doi.org\/10.1145\/3180155.3180166","DOI":"10.1145\/3180155.3180166"},{"key":"529_CR16","unstructured":"Corteggiani, N., Camurati, G., Francillon, A.: Inception: System-wide security testing of real-world embedded systems software. In: Enck W, Felt AP (eds) 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018. USENIX Association, pp 309-326 (2018), URL https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/corteggiani"},{"key":"529_CR17","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L.M., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan CR, Rehof J (eds) Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, Lecture Notes in Computer Science, vol 4963. Springer, pp 337-340 (2008), https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"529_CR18","doi-asserted-by":"publisher","unstructured":"Deng, Y., Xia, C.S., Peng, H., et al.: Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models. In: Just R, Fraser G (eds) Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. ACM, pp 423-435 (2023a), https:\/\/doi.org\/10.1145\/3597926.3598067","DOI":"10.1145\/3597926.3598067"},{"key":"529_CR19","unstructured":"Deng, Y., Yao, J., Tu, Z., et al.: Target: Automated scenario generation from traffic rules for testing autonomous vehicles. arXiv preprint arXiv:2305.06018 (2023b)"},{"key":"529_CR20","doi-asserted-by":"publisher","unstructured":"Deng, Y., Xia, C.S., Yang, C., et al.: Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, pp 70:1-70:13 (2024), https:\/\/doi.org\/10.1145\/3597503.3623343","DOI":"10.1145\/3597503.3623343"},{"key":"529_CR21","unstructured":"Devlin, J., Chang, M., Lee, K., et al.: BERT: pre-training of deep bidirectional transformers for language understanding. CoRR abs\/1810.04805 (2018). URL http:\/\/arxiv.org\/abs\/1810.04805,1810.04805"},{"key":"529_CR22","doi-asserted-by":"publisher","unstructured":"Fan, Z., Gao, X., Mirchev, M., et al.: Automated repair of programs from large language models. In: 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. IEEE, pp 1469-1481 (2023), https:\/\/doi.org\/10.1109\/ICSE48619.2023.00128","DOI":"10.1109\/ICSE48619.2023.00128"},{"key":"529_CR23","doi-asserted-by":"crossref","unstructured":"Feng, S., Chen, C.: Prompting is all you need: Automated android bug replay with large language models. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, pp 67:1-67:13 (2024), https:\/\/doi.org\/10.1145\/3597503.3608137","DOI":"10.1145\/3597503.3608137"},{"key":"529_CR24","doi-asserted-by":"crossref","unstructured":"Ganesh, V., Dill, D.L.: A decision procedure for bit-vectors and arrays. In: Damm W, Hermanns H (eds) Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, Lecture Notes in Computer Science, vol 4590. Springer, pp 519-531 (2007), https:\/\/doi.org\/10.1007\/978-3-540-73368-3_52","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"529_CR25","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: Hofmann M, Felleisen M (eds) Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM, pp 47-54 (2007), https:\/\/doi.org\/10.1145\/1190216.1190226","DOI":"10.1145\/1190216.1190226"},{"key":"529_CR26","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Luchaup, D.: Automatic partial loop summarization in dynamic test generation. In: Dwyer MB, Tip F (eds) Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM, pp 23-33 (2011), https:\/\/doi.org\/10.1145\/2001420.2001424","DOI":"10.1145\/2001420.2001424"},{"key":"529_CR27","doi-asserted-by":"crossref","unstructured":"He, J., Sivanrupan, G., Tsankov, P., et al.: Learning to explore paths for symbolic execution. In: Kim Y, Kim J, Vigna G, et al (eds) CCS \u201921: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021. ACM, pp 2526-2540 (2021), https:\/\/doi.org\/10.1145\/3460120.3484813","DOI":"10.1145\/3460120.3484813"},{"key":"529_CR28","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Santosa, A.E., Voicu, R.: An interpolation method for CLP traversal. In: Gent IP (ed) Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, Lecture Notes in Computer Science, vol 5732. Springer, pp 454- 469 (2009), https:\/\/doi.org\/10.1007\/978-3-642-04244-7_37","DOI":"10.1007\/978-3-642-04244-7_37"},{"key":"529_CR29","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Murali, V., Navas, J.A., et al.: TRACER: A symbolic execution tool for verification. In: Madhusudan P, Seshia SA (eds) Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Lecture Notes in Computer Science, vol 7358. Springer, pp 758- 766 (2012), https:\/\/doi.org\/10.1007\/978-3-642-31424-7_61","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"529_CR30","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Murali, V., Navas, J.A.: Boosting concolic testing via interpolation. In: Meyer B, Baresi L, Mezini M (eds) Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE\u201913, Saint Petersburg, Russian Federation, August 18-26, 2013. ACM, pp 48-58 (2013), https:\/\/doi.org\/10.1145\/2491411.2491425","DOI":"10.1145\/2491411.2491425"},{"key":"529_CR31","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Maghareh, R., Godboley, S., et al.: Tracerx: Dynamic symbolic execution with interpolation (competition contribution). Fundamental Approaches to Software Engineering 12076:530-534 (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_28","DOI":"10.1007\/978-3-030-45234-6_28"},{"key":"529_CR32","doi-asserted-by":"crossref","unstructured":"Jain, N., Kaneko, K., Sharma, S.: SKLEE: A dynamic symbolic analysis tool for ethereum smart contracts (tool paper). In: Schlingloff B, Chai M (eds) Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, Lecture Notes in Computer Science, vol 13550. Springer, pp 244-250 (2022), https:\/\/doi.org\/10.1007\/978-3-031-17108-6_15","DOI":"10.1007\/978-3-031-17108-6_15"},{"key":"529_CR33","doi-asserted-by":"crossref","unstructured":"Jiang, Z., Wen, M., Cao, J., et al.: Towards understanding the effectiveness of large language models on directed test input generation. In: Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering. Association for Computing Machinery, New York, NY, USA, ASE \u201924, p 1408-1420 (2024), https:\/\/doi.org\/10.1145\/3691620.3695513","DOI":"10.1145\/3691620.3695513"},{"issue":"7","key":"529_CR34","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun ACM 19(7), 385\u2013394 (1976). https:\/\/doi.org\/10.1145\/360248.360252","journal-title":"Commun ACM"},{"key":"529_CR35","doi-asserted-by":"crossref","unstructured":"Kuznetsov, V., Kinder, J., Bucur, S., et al.: Efficient state merging in symbolic execution. Acm Sigplan Notices pp 193-204 (2012). https:\/\/doi.org\/10.1145\/2254064.2254088","DOI":"10.1145\/2254064.2254088"},{"key":"529_CR36","doi-asserted-by":"crossref","unstructured":"Lemieux, C., Inala, J.P., Lahiri, S.K., et al.: Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models. In: 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. IEEE, pp 919-931 (2023), https:\/\/doi.org\/10.1109\/ICSE48619.2023.00085","DOI":"10.1109\/ICSE48619.2023.00085"},{"key":"529_CR37","doi-asserted-by":"crossref","unstructured":"Li, Y., Su, Z., Wang, L., et al.: Steering symbolic execution to less traveled paths. ACM SigPlan Notices pp 19-32 (2013). https:\/\/doi.org\/10.1145\/2509136.2509553","DOI":"10.1145\/2509136.2509553"},{"key":"529_CR38","unstructured":"Liu, J., Yi, L., Chen, W., et al.: Linkrid: Vetting imbalance reference counting in linux kernel with symbolic execution. In: Butler KRB, Thomas K (eds) 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. USENIX Association, pp 125-142 (2022), URL https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/liu-jian"},{"key":"529_CR39","doi-asserted-by":"crossref","unstructured":"Liu, Z., Chen, C., Wang, J., et al.: Fill in the blank: Context-aware automated text input generation for mobile GUI testing. In: 45th IEEE\/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. IEEE, pp 1355-1367 (2023), https:\/\/doi.org\/10.1109\/ICSE48619.2023.00119","DOI":"10.1109\/ICSE48619.2023.00119"},{"key":"529_CR40","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Xu, R.: Reducing test inputs using information partitions. In: Bouajjani A, Maler O (eds) Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, Lecture Notes in Computer Science, vol 5643. Springer, pp 555-569 (2009), https:\/\/doi.org\/10.1007\/978-3-642-02658-4_41","DOI":"10.1007\/978-3-642-02658-4_41"},{"key":"529_CR41","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Lazy annotation for program testing and verification. In: Touili T, Cook B, Jackson PB (eds) Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, Lecture Notes in Computer Science, vol 6174. Springer, pp 104-118 (2010), https:\/\/doi.org\/10.1007\/978-3-642-14295-6_10","DOI":"10.1007\/978-3-642-14295-6_10"},{"key":"529_CR42","unstructured":"McMillan, K.L.: Lazy annotation revisited. In: Biere A, Bloem R (eds) Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, Lecture Notes in Computer Science, vol 8559. Springer, pp 243- 259 (2014), https:\/\/doi.org\/10.1007\/978-3-319-08867-916"},{"key":"529_CR43","doi-asserted-by":"crossref","unstructured":"Pearce, H., Tan, B., Ahmad, B., et al.: Examining zero-shot vulnerability repair with large language models. In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. IEEE, pp 2339-2356 (2023), https:\/\/doi.org\/10.1109\/SP46215.2023.10179420","DOI":"10.1109\/SP46215.2023.10179420"},{"key":"529_CR44","doi-asserted-by":"publisher","unstructured":"Qi D, Nguyen HDT, Roychoudhury A (2013) Path exploration based on symbolic output. ACM Trans Softw Eng Methodol 22(4):32:1-32:41. https:\/\/doi.org\/10.1145\/2522920.2522925","DOI":"10.1145\/2522920.2522925"},{"key":"529_CR45","doi-asserted-by":"crossref","unstructured":"Ruaro, N., Zeng, K., Dresel, L., et al.: Syml: Guiding symbolic execution toward vulnerable states through pattern learning. In: Bilge L, Dumitras T (eds) RAID \u201921: 24th International Symposium on Research in Attacks, Intrusions and Defenses, San Sebastian, Spain, October 6-8, 2021. ACM, pp 456-468 (2021), https:\/\/doi.org\/10.1145\/3471621.3471865","DOI":"10.1145\/3471621.3471865"},{"key":"529_CR46","doi-asserted-by":"crossref","unstructured":"Saxena, P., Poosankam, P., McCamant, S., et al.: Loop-extended symbolic execution on binary programs. In: Rothermel G, Dillon LK (eds) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009. ACM, pp 225-236 (2009), https:\/\/doi.org\/10.1145\/1572272.1572299","DOI":"10.1145\/1572272.1572299"},{"key":"529_CR47","doi-asserted-by":"crossref","unstructured":"Seo, H., Kim, S.: How we get there: a context-guided search strategy in concolic testing. In: Cheung S, Orso A, Storey MD (eds) Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE22), Hong Kong, China, November 16 - 22, 2014. ACM, pp 413-424 (2014), https:\/\/doi.org\/10.1145\/2635868.2635872","DOI":"10.1145\/2635868.2635872"},{"key":"529_CR48","doi-asserted-by":"crossref","unstructured":"Slaby, J., Strejcek, J., Trt\u00edk, M.: Compact symbolic execution. In: Hung DV, Ogawa M (eds) Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, Lecture Notes in Computer Science, vol 8172. Springer, pp 193-207 (2013), https:\/\/doi.org\/10.1007\/978-3-319-02444-8_15","DOI":"10.1007\/978-3-319-02444-8_15"},{"key":"529_CR49","doi-asserted-by":"crossref","unstructured":"Strejcek, J., Trt\u00edk, M.: Abstracting path conditions. In: Heimdahl MPE, Su Z (eds) International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM, pp 155-165 (2012), https:\/\/doi.org\/10.1145\/2338965.2336772","DOI":"10.1145\/2338965.2336772"},{"key":"529_CR50","doi-asserted-by":"crossref","unstructured":"Trabish, D., Rinetzky, N., Shoham, S., et al.: State merging with quantifiers in symbolic execution. In: Chandra S, Blincoe K, Tonella P (eds) Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. ACM, pp 1140-1152 (2023), https:\/\/doi.org\/10.1145\/3611643.3616287","DOI":"10.1145\/3611643.3616287"},{"issue":"3","key":"529_CR51","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/TSE.2016.2584063","volume":"43","author":"H Wang","year":"2017","unstructured":"Wang, H., Liu, T., Guan, X., et al.: Dependence guided symbolic execution. IEEE Trans Software Eng 43(3), 252\u2013271 (2017). https:\/\/doi.org\/10.1109\/TSE.2016.2584063","journal-title":"IEEE Trans Software Eng"},{"key":"529_CR52","doi-asserted-by":"publisher","unstructured":"Wang, J., Huang, Y., Chen, C., et al.: Software testing with large language models: Survey, landscape, and vision. IEEE Trans Software Eng 50(4):911-936 (2024). https:\/\/doi.org\/10.1109\/TSE.2024.3368208","DOI":"10.1109\/TSE.2024.3368208"},{"key":"529_CR53","doi-asserted-by":"crossref","unstructured":"Wang, X., Sun, J., Chen, Z., et al.: Towards optimal concolic testing. In: Chaudron M, Crnkovic I, Chechik M, et al (eds) Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM, pp 291-302 (2018), https:\/\/doi.org\/10.1145\/3180155.3180177","DOI":"10.1145\/3180155.3180177"},{"key":"529_CR54","doi-asserted-by":"publisher","unstructured":"Wu T, He S, Liu J, et al (2023) A brief overview of chatgpt: The history, status quo and potential future development. IEEE CAA J Autom Sinica 10(5):1122-1136. https:\/\/doi.org\/10.1109\/JAS.2023.123618","DOI":"10.1109\/JAS.2023.123618"},{"key":"529_CR55","doi-asserted-by":"crossref","unstructured":"Xie, T., Tillmann, N., de Halleux, J., et al.: Fitness-guided path exploration in dynamic symbolic execution. In: Proceedings of the 2009 IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009. IEEE Computer Society, pp 359-368 (2009), https:\/\/doi.org\/10.1109\/DSN.2009.5270315","DOI":"10.1109\/DSN.2009.5270315"},{"key":"529_CR56","doi-asserted-by":"crossref","unstructured":"Xie, X., Liu, Y., Le, W., et al.: S-looper: automatic summarization for multipath string loops. In: Young M, Xie T (eds) Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. ACM, pp 188-198 (2015), https:\/\/doi.org\/10.1145\/2771783.2771815","DOI":"10.1145\/2771783.2771815"},{"key":"529_CR57","doi-asserted-by":"crossref","unstructured":"Xie, X., Chen, B., Liu, Y., et al.: Proteus: computing disjunctive loop summary via path dependency analysis. In: Zimmermann T, Cleland-Huang J, Su Z (eds) Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. ACM, pp 61-72 (2016), https:\/\/doi.org\/10.1145\/2950290.2950340","DOI":"10.1145\/2950290.2950340"},{"key":"529_CR58","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Scalable error detection using boolean satisfiability. In: Palsberg J, Abadi M (eds) Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. ACM, pp 351-363 (2005), https:\/\/doi.org\/10.1145\/1040305.1040334","DOI":"10.1145\/1040305.1040334"},{"key":"529_CR59","unstructured":"Yang, C., Deng, Y., Lu, R., et al.: White-box compiler fuzzing empowered by large language models. CoRR abs\/2310.15991 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2310.15991, URL https:\/\/doi.org\/10.48550\/arXiv.2310.15991,2310.15991"},{"key":"529_CR60","doi-asserted-by":"crossref","unstructured":"Yi, Q., Yang, Z., Guo, S., et al.: Postconditioned symbolic execution. In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015. IEEE Computer Society, pp 1-10 (2015), https:\/\/doi.org\/10.1109\/ICST.2015.7102601","DOI":"10.1109\/ICST.2015.7102601"},{"key":"529_CR61","unstructured":"Yuan, Z., Lou, Y., Liu, M., et al.: No more manual tests? evaluating and improving chatgpt for unit test generation. CoRR abs\/2305.04207 (2023). https:\/\/doi.org\/10.48550\/ARXIV2305.04207, URL https:\/\/doi.org\/10.48550\/arXiv.2305.04207,2305.04207"},{"key":"529_CR62","doi-asserted-by":"crossref","unstructured":"Zhai, Y., Hao, Y., Zhang, H., et al.: Ubitect: a precise and scalable method to detect use-before-initialization bugs in linux kernel. In: Devanbu P, Cohen MB, Zimmermann T (eds) ESEC\/FSE \u201920: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. ACM, pp 221-232 (2020), https:\/\/doi.org\/10.1145\/3368089.3409686","DOI":"10.1145\/3368089.3409686"},{"key":"529_CR63","doi-asserted-by":"crossref","unstructured":"Zhang, T., Zhang, Y., Chen, Z., et al.: Efficient multiplex symbolic execution with adaptive search strategy. In: 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. IEEE, pp 1255-1256 (2020), https:\/\/doi.org\/10.1145\/3324884.3418902","DOI":"10.1145\/3324884.3418902"},{"key":"529_CR64","unstructured":"Zhang, T., Irsan, I.C., Thung, F., et al.: Cupid: Leveraging chatgpt for more accurate duplicate bug report detection. CoRR abs\/2308.10022 (2023). https:\/\/doi.org\/10.48550\/ARXIV2308.10022, URL https:\/\/doi.org\/10.48550\/arXiv.2308.10022,2308.10022"},{"key":"529_CR65","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Chen, Z., Wang, J., et al.: Regular property guided dynamic symbolic execution. In: Bertolino A, Canfora G, Elbaum SG (eds) 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. IEEE Computer Society, pp 643-653 (2015), https:\/\/doi.org\/10.1109\/ICSE.2015.80","DOI":"10.1109\/ICSE.2015.80"},{"key":"529_CR66","unstructured":"Zhou, S., Yang, Z., Qiao, D., et al.: Ferry: State-aware symbolic execution for exploring state-dependent program paths. In: Butler KRB, Thomas K (eds) 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. USENIX Association, pp 4365-4382 (2022), URL https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/zhou-shunfan"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-025-00529-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-025-00529-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-025-00529-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T01:02:22Z","timestamp":1757552542000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-025-00529-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,7]]},"references-count":66,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["529"],"URL":"https:\/\/doi.org\/10.1007\/s10515-025-00529-1","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2025,6,7]]},"assertion":[{"value":"6 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 May 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 June 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"59"}}