{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T20:43:24Z","timestamp":1776804204259,"version":"3.51.2"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"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":["62202344"],"award-info":[{"award-number":["62202344"]}],"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":["62572363"],"award-info":[{"award-number":["62572363"]}],"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":["62472326"],"award-info":[{"award-number":["62472326"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-Zhipu Large Model Innovation Fund","award":["CCF-Zhipu202408"],"award-info":[{"award-number":["CCF-Zhipu202408"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1109\/tse.2026.3660377","type":"journal-article","created":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:44:02Z","timestamp":1770065042000},"page":"1282-1300","source":"Crossref","is-referenced-by-count":0,"title":["Studying and Improving the Soundness of Input-Based Feature-Oriented Debloating"],"prefix":"10.1109","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6904-6285","authenticated-orcid":false,"given":"Jiahao","family":"Yuan","sequence":"first","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3161-5875","authenticated-orcid":false,"given":"Weinuo","family":"Leng","sequence":"additional","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5700-8464","authenticated-orcid":false,"given":"Xuan","family":"Wei","sequence":"additional","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0543-4935","authenticated-orcid":false,"given":"Qi","family":"Xin","sequence":"additional","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2828-7165","authenticated-orcid":false,"given":"Xiaoyuan","family":"Xie","sequence":"additional","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2968-3496","authenticated-orcid":false,"given":"Jifeng","family":"Xuan","sequence":"additional","affiliation":[{"name":"School of Computer Science, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"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\/3141235.3141242"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.293"},{"key":"ref4","first-page":"187","article-title":"Are we all in the same \u2018bloat\u2019","volume-title":"Proc. Graphics Interface","author":"McGrenere","year":"2000"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882448"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2039252.2039253"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542523"},{"key":"ref8","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.)","author":"Azad","year":"2019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315313"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"ref11","first-page":"1733","article-title":"RAZOR: A framework for post-deployment software debloating","volume-title":"Proc. 28th USENIX Conf. Secur. Symp. (USENIX Secur.)","author":"Qian","year":"2019"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3338502.3359764"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37231-6_17"},{"key":"ref14","first-page":"65","article-title":"Program debloating via stochastic optimization","volume-title":"Proc. IEEE\/ACM 42st, Int. Conf. Softw. Eng.: New Ideas Emerg. Results (ICSE-NIER)","author":"Xin","year":"2020"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417866"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409738"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3095716"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3120213"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556970"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev56634.2023.00022"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639113"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695751"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3583112"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318946"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3660787"},{"key":"ref27","article-title":"Chiselbench","year":"2024"},{"key":"ref28","first-page":"1","article-title":"{AFL++}: Combining incremental steps of fuzzing research","volume-title":"Proc. 14th USENIX Workshop Offensive Technol. (WOOT)","author":"Fioraldi","year":"2020"},{"key":"ref29","article-title":"Radamsa","author":"Helin","year":"2024"},{"key":"ref30","first-page":"181","article-title":"Symbolic execution with SymCC: Don\u2019t interpret, compile!","volume-title":"Proc. 29th USENIX Secur. Symp. (USENIX Secur.)","author":"Poeplau","year":"2020"},{"key":"ref31","article-title":"AddressSanitizer","year":"2024"},{"key":"ref32","article-title":"UndefinedBehaviorSanitizer","year":"2024"},{"key":"ref33","article-title":"MemorySanitizer","year":"2024"},{"key":"ref34","article-title":"ThreadSanitizer","year":"2024"},{"key":"ref35","article-title":"LeakSanitizer","year":"2024"},{"key":"ref36","article-title":"Studying and improving the soundness of debloating","year":"2024"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref38","article-title":"Evaluation of coveh-extend and the influence of coveh threshold","year":"2024"},{"key":"ref39","article-title":"Chisel","year":"2024"},{"key":"ref40","first-page":"224","article-title":"Subdomain-based generality-aware debloating","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Autom. Softw. Eng. (ASE)","author":"Xin","year":"2020"},{"key":"ref41","article-title":"Software-artifact infrastructure repository","year":"2024"},{"key":"ref42","article-title":"BLADE","year":"2024"},{"key":"ref43","article-title":"Cov, Covf, and Cova from the debloating study repository","year":"2024"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238160"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP53844.2022.00024"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386017"},{"key":"ref47","article-title":"Clang","year":"2024"},{"key":"ref48","article-title":"Afl++ argv_fuzzing","year":"2024"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179296"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616594"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616636"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623103"},{"key":"ref53","first-page":"2289","article-title":"ParmeSan: Sanitizer-guided greybox fuzzing","volume-title":"Proc. 29th USENIX Secur. Symp. (USENIX Secur.)","author":"\u00d6sterlund","year":"2020"},{"key":"ref54","article-title":"Box plots of issues","year":"2025"},{"key":"ref55","article-title":"CWE mapping rules and tips","year":"2024"},{"key":"ref56","article-title":"The soundness distribution charts","year":"2024"},{"key":"ref57","article-title":"Categories of issues reduced by blockaug","year":"2025"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338938"},{"key":"ref59","article-title":"The auto cleanup debloating analysis tool","year":"2024"},{"key":"ref60","article-title":"OCCAM","year":"2024"},{"key":"ref61","article-title":"Evaluation of OCCAM soundness","year":"2024"},{"key":"ref62","article-title":"SoK: A broad comparative evaluation of software debloating tools","author":"Brown","year":"2023"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-51482-1_12"},{"key":"ref64","first-page":"1","article-title":"Is less really more? Towards better metrics for measuring security improvements realized through software debloating","volume-title":"Proc. 12th USENIX Workshop Cyber Secur. Experimentation Test (CSET)","author":"Brown","year":"2019"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3414997"},{"key":"ref66","first-page":"869","article-title":"Debloating software through piece-wise compilation and loading","volume-title":"Proc. 27th USENIX Secur. Symp. (USENIX Secur.)","author":"Quach","year":"2018"},{"key":"ref67","article-title":"Binary reduction","year":"2022"},{"key":"ref68","article-title":"Grammatech","year":"2024"},{"key":"ref69","article-title":"Trail of bits","year":"2024"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387550"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338956"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/3359789.3359823"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11488173\/11370510.pdf?arnumber=11370510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T19:49:09Z","timestamp":1776800949000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11370510\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":74,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2026.3660377","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":[[2026,4]]}}}