{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T02:18:39Z","timestamp":1789179519216,"version":"build-2803163510"},"reference-count":97,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62402506"],"award-info":[{"award-number":["62402506"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62474196"],"award-info":[{"award-number":["62474196"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Research Foundation from NUDT","award":["ZK24-05"],"award-info":[{"award-number":["ZK24-05"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1109\/tse.2025.3594673","type":"journal-article","created":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T18:14:33Z","timestamp":1754072073000},"page":"2651-2670","source":"Crossref","is-referenced-by-count":3,"title":["Large Language Models-Aided Program Debloating"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5905-4677","authenticated-orcid":false,"given":"Bo","family":"Lin","sequence":"first","affiliation":[{"name":"State Key Laboratory of Complex & Critical Software Environment, National University of Defense Technology, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1469-2063","authenticated-orcid":false,"given":"Shangwen","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Complex & Critical Software Environment, National University of Defense Technology, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3440-9520","authenticated-orcid":false,"given":"Yihao","family":"Qin","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Complex & Critical Software Environment, National University of Defense Technology, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8084-8009","authenticated-orcid":false,"given":"Liqian","family":"Chen","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Complex & Critical Software Environment, National University of Defense Technology, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4204-7424","authenticated-orcid":false,"given":"Xiaoguang","family":"Mao","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Complex & Critical Software Environment, National University of Defense Technology, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"The Art of Lean Software Development: A Practical and Incremental Approach","author":"Hibbs","year":"2009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882448"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542523"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2039252.2039253"},{"key":"ref5","first-page":"1697","article-title":"Less is more: Quantifying the security benefits of debloating web applications","volume-title":"Proc. 28th USENIX Secur. Symp. (USENIX Secur. 19)","author":"Azad","year":"2019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315313"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"ref8","first-page":"1733","article-title":"$\\{${RAZOR$\\}$}: A framework for post-deployment software debloating","volume-title":"Proc. 28th USENIX Secur. Symp. (USENIX Secur. 19)","author":"Qian","year":"2019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417866"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238160"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3120213"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556970"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680323"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613078"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE59848.2023.00026"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639187"},{"key":"ref20","article-title":"Evaluating instruction-tuned large language models on code comprehension and generation","author":"Yuan","year":"2023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598067"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3643769"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663801"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639121"},{"key":"ref25","first-page":"46595","article-title":"Judging LLM-as-a-judge with MT-bench and chatbot arena","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"36","author":"Zheng","year":"2023"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.findings-acl.306"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3641289"},{"key":"ref28","article-title":"Software-artifact infrastructure repository","year":"2022"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338956"},{"key":"ref30","first-page":"65","article-title":"Program debloating via stochastic optimization","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.: New Ideas Emerg. Results","author":"Xin","year":"2020"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3338502.3359764"},{"key":"ref32","first-page":"224","article-title":"Subdomain-based generality-aware debloating","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Xin","year":"2020"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3583112"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080782"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00071"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598130"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3604915.3610647"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3580305.3599572"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1001\/jamasurg.2019.4917"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1177\/0963721420901592"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00089"},{"key":"ref42","article-title":"Investigating the catastrophic forgetting in multimodal large language models","author":"Zhai","year":"2023"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11651"},{"key":"ref44","article-title":"American fuzzy lop (AFL)","author":"Zalewski","year":"2013"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663784"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639121"},{"key":"ref48","article-title":"Determinants of LLM-assisted decision-making","author":"Eigner","year":"2024"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3640543.3645199"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3470333"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112031"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179420"},{"key":"ref53","article-title":"LLVM-COV - LLVM source-based code coverage","year":"2024"},{"key":"ref54","article-title":"GCOV","year":"2024"},{"key":"ref55","article-title":"Clang C Language Family Frontend for LLVM","volume":"LLVM","year":"2024"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680313"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10232-4"},{"key":"ref58","article-title":"CodeChecker","year":"2024"},{"key":"ref59","article-title":"CPPCheck - a tool for static C\/C++ code analysis","year":"2024"},{"key":"ref60","article-title":"Infer","year":"2024"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510214"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510153"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3649828"},{"key":"ref64","article-title":"LLM-assisted static analysis for detecting security vulnerabilities","author":"Li","year":"2024"},{"key":"ref65","article-title":"When can transformers count to N?","author":"Yehudai","year":"2024"},{"key":"ref66","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2024.acl-long.818","article-title":"Same task, more tokens: the impact of input length on the reasoning performance of large language models","volume-title":"Proc. 62nd Annu. Meeting Assoc. Comput. Linguistics (Volume 1: Long Papers)","author":"Levy","year":"2024"},{"key":"ref67","first-page":"3927","article-title":"A broad comparative evaluation of software debloating tools","volume-title":"Proc. 33rd USENIX Secur. Symp. (USENIX Secur.)","author":"Brown","year":"2024"},{"key":"ref68","article-title":"ROPGadget","author":"Salwan","year":"2022"},{"key":"ref69","article-title":"American fuzzy lop","author":"Zalewski","year":"2022"},{"key":"ref70","article-title":"DeepSeek-V2.5","year":"2024"},{"key":"ref71","article-title":"DeepSeek max output tokens","year":"2024"},{"key":"ref72","article-title":"Code LLAMA: Open foundation models for code","author":"Roziere","year":"2023"},{"key":"ref73","article-title":"GPT-4o SYSTEM CARD","author":"Hurst","year":"2024"},{"key":"ref74","article-title":"Purple LLAMA CyberSecEval: A secure coding benchmark for language models","author":"Bhatt","year":"2023"},{"key":"ref75","article-title":"Update on safety and security practices","year":"2024"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-025-10658-6"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2901468"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2527791"},{"key":"ref79","article-title":"BusyBox","year":"2024"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/3580596"},{"key":"ref81","article-title":"Valgrind","year":"2025"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3652126"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3586049"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468625"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/3617172"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213871"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330202"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510222"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397369"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549101"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680381"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11172729\/11106926.pdf?arnumber=11106926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T04:57:54Z","timestamp":1758257874000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11106926\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":97,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3594673","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]}}}