{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:00:30Z","timestamp":1785340830648,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/legalcode"}],"funder":[{"name":"National Science Foundation","award":["2106838, 2426162, 2106404, and 2106420"],"award-info":[{"award-number":["2106838, 2426162, 2106404, and 2106420"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3794763.3794797","type":"proceedings-article","created":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:18:58Z","timestamp":1785338338000},"page":"38-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["PALM: Path-aware LLM-based Test Generation with Comprehension"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0623-4110","authenticated-orcid":false,"given":"Yaoxuan","family":"Wu","sequence":"first","affiliation":[{"name":"UCLA, Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5442-821X","authenticated-orcid":false,"given":"Xiaojie","family":"Zhou","sequence":"additional","affiliation":[{"name":"UCLA, Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5707-4487","authenticated-orcid":false,"given":"Ahmad","family":"Humayun","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8007-8662","authenticated-orcid":false,"given":"Muhammad Ali","family":"Gulzar","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3802-1512","authenticated-orcid":false,"given":"Miryung","family":"Kim","sequence":"additional","affiliation":[{"name":"UCLA, Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,29]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Thanassis Avgerinos Sang\u00a0Kil Cha Alexandre Rebert Edward\u00a0J Schwartz Maverick Woo and David Brumley. 2014. Automatic exploit generation. Commun. ACM 57 2 (2014) 74\u201384.","DOI":"10.1145\/2560217.2560219"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Roberto Baldoni Emilio Coppa Daniele\u00a0Cono D\u2019elia Camil Demetrescu and Irene Finocchi. 2018. A survey of symbolic execution techniques. ACM Computing Surveys (CSUR) 51 3 (2018) 1\u201339.","DOI":"10.1145\/3182657"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Robert\u00a0S Boyer Bernard Elspas and Karl\u00a0N Levitt. 1975. SELECT\u2014a formal system for testing and debugging programs by symbolic execution. ACM SigPlan Notices 10 6 (1975) 234\u2013245.","DOI":"10.1145\/390016.808445"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_3_1_7_2","first-page":"209","volume-title":"OSDI","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, Dawson\u00a0R Engler, et\u00a0al. 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI , Vol.\u00a08. 209\u2013224. https:\/\/dl.acm.org\/doi\/10.5555\/1855741.1855756"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_1_9_2","unstructured":"Amirhossein Deljouyi Roham Koohestani Maliheh Izadi and Andy Zaidman. 2024. Leveraging large language models for enhancing the understandability of generated unit tests. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2408.11710 (2024)."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Liangjun Deng Qi Zhong Jingcheng Song Hang Lei and Wenjuan Li. 2025. LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification. Sensors 25 9 (2025) 2683.","DOI":"10.3390\/s25092683"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624032.3624035"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"William\u00a0E. Howden. 1977. Symbolic testing and the DISSECT symbolic evaluation system. IEEE Transactions on Software Engineering4 (1977) 266\u2013278.","DOI":"10.1109\/TSE.1977.231144"},{"key":"e_1_3_3_1_14_2","unstructured":"JavaParser Team. 2025. JavaParser. https:\/\/javaparser.org\/."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00125"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"James\u00a0C King. 1975. A new approach to program testing. ACM Sigplan Notices 10 6 (1975) 228\u2013233.","DOI":"10.1145\/390016.808444"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"James\u00a0C King. 1976. Symbolic execution and program testing. Commun. ACM 19 7 (1976) 385\u2013394.","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00085"},{"key":"e_1_3_3_1_19_2","unstructured":"Vincent Li and Nick Doiron. 2023. Prompting code interpreter to write better unit tests on quixbugs functions. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2310.00483 (2023)."},{"key":"e_1_3_3_1_20_2","unstructured":"Yihe Li Ruijie Meng and Gregory\u00a0J Duck. 2025. Large Language Model powered Symbolic Execution. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2505.13452 (2025)."},{"key":"e_1_3_3_1_21_2","unstructured":"Ruijie Meng Gregory\u00a0J Duck and Abhik Roychoudhury. 2024. Large Language Model assisted Hybrid Fuzzing. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2412.15931 (2024)."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00243"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Gabriel Ryan Siddhartha Jain Mingyue Shang Shiqi Wang Xiaofei Ma Murali\u00a0Krishna Ramanathan and Baishakhi Ray. 2024. Code-aware prompting: A study of coverage-guided test generation in regression setting using llm. Proceedings of the ACM on Software Engineering 1 FSE (2024) 951\u2013971.","DOI":"10.1145\/3643769"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Koushik Sen Darko Marinov and Gul Agha. 2005. CUTE: A concolic unit testing engine for C. ACM SIGSOFT Software Engineering Notes 30 5 (2005) 263\u2013272.","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_3_1_26_2","unstructured":"Haoxin Tu Seongmin Lee Yuxian Li Peng Chen Lingxiao Jiang and Marcel B\u00f6hme. 2025. Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2504.17542 (2025)."},{"key":"e_1_3_3_1_27_2","unstructured":"Vasudev Vikram Caroline Lemieux Joshua Sunshine and Rohan Padhye. 2023. Can large language models write good property-based tests? arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2307.04346 (2023)."},{"key":"e_1_3_3_1_28_2","unstructured":"Wenhan Wang Kaibo Liu An\u00a0Ran Chen Ge Li Zhi Jin Gang Huang and Lei Ma. 2024. Python Symbolic Execution with LLM-powered Code Generation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2409.09271 (2024)."},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695501"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639121"},{"key":"e_1_3_3_1_31_2","unstructured":"Zhuokui Xie Yinghao Chen Chen Zhi Shuiguang Deng and Jianwei Yin. 2023. ChatUniTest: a ChatGPT-based automated unit test generation tool. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2305.04764 (2023)."},{"key":"e_1_3_3_1_32_2","unstructured":"Chen Yang Junjie Chen Bin Lin Jianyi Zhou and Ziqi Wang. 2024. Enhancing LLM-based Test Generation for Hard-to-Cover Branches via Program Analysis. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2404.04966 (2024)."}],"event":{"name":"ICPC '26: 34th IEEE\/ACM International Conference on Program Comprehension","location":"Rio de Janeiro , Brazil","acronym":"ICPC '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 34th IEEE\/ACM International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3794763.3794797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:20:14Z","timestamp":1785338414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3794763.3794797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":31,"alternative-id":["10.1145\/3794763.3794797","10.1145\/3794763"],"URL":"https:\/\/doi.org\/10.1145\/3794763.3794797","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}