{"id":"https://openalex.org/W7127146025","doi":"https://doi.org/10.1109/tse.2026.3660377","title":"Studying and Improving the Soundness of Input-Based Feature-Oriented Debloating","display_name":"Studying and Improving the Soundness of Input-Based Feature-Oriented Debloating","publication_year":2026,"publication_date":"2026-02-02","ids":{"openalex":"https://openalex.org/W7127146025","doi":"https://doi.org/10.1109/tse.2026.3660377"},"language":null,"primary_location":{"id":"doi:10.1109/tse.2026.3660377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2026.3660377","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103843946","display_name":"J P Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiahao Yuan","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0003-6904-6285","affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124849329","display_name":"Weinuo Leng","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weinuo Leng","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0007-3161-5875","affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xuan Wei","orcid":"https://orcid.org/0009-0008-5700-8464"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuan Wei","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0008-5700-8464","affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Qi Xin","orcid":"https://orcid.org/0000-0003-0543-4935"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Xin","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0003-0543-4935","affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100746280","display_name":"Xiaoyuan Xie","orcid":"https://orcid.org/0000-0003-2828-7165"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyuan Xie","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0003-2828-7165","affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5123345487","display_name":"Jifeng Xuan","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jifeng Xuan","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-2968-3496","affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5103843946"],"corresponding_institution_ids":["https://openalex.org/I37461747"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21000991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"4","first_page":"1282","last_page":"1300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.5604000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.5604000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.15700000524520874,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.040800001472234726,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.9932000041007996},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7723000049591064},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5537999868392944},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5128999948501587},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.49300000071525574},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.41510000824928284},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.41110000014305115}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9932000041007996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8873000144958496},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7723000049591064},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5537999868392944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5223000049591064},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5128999948501587},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.49300000071525574},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.41510000824928284},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.41110000014305115},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.36079999804496765},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C144745244","wikidata":"https://www.wikidata.org/wiki/Q4927286","display_name":"Blocking (statistics)","level":2,"score":0.3393999934196472},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.32600000500679016},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3118000030517578},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29100000858306885},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26080000400543213},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25589999556541443}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2026.3660377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2026.3660377","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7027419805526733}],"awards":[{"id":"https://openalex.org/G1257732365","display_name":null,"funder_award_id":"62202344","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4699933067","display_name":null,"funder_award_id":"62472326","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4732414549","display_name":null,"funder_award_id":"62572363","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,238],"paper":[1],"consists":[2],"of":[3,8,11,49,62,107,117,177,195,223,254,278,300,317,359],"two":[4,142],"parts:":[5],"a":[6,23,54,60,129,175,228],"study":[7,130],"the":[9,19,78,94,105,113,118,188,192,221,256,269,276,279,286,296,301,307,315,321,335,339,352,362,370],"soundness":[10,33,82,106,119,156,222,297],"feature-oriented":[12],"debloating":[13,36,109,146],"techniques":[14,37,51,68,110,137,167,293],"that":[15,74,89,165,179,231,306],"use":[16],"inputs":[17,79,346,361],"as":[18,59,85,171,199,258],"feature":[20],"specification":[21],"and":[22,87,97,111,115,147,214,271,294,298],"new":[24],"blocking":[25,229,308,353],"method":[26,230,309,354],"B<sc":[27],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[28,218],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">LOCKAUG</small>":[29],"we":[30,127,133,226,281],"proposed":[31],"for":[32,64,145,187],"improvement.":[34],"Feature-oriented":[35],"aim":[38],"to":[39,44,70,77,93,138,154,181,235,242,262,284],"eliminate":[40],"code":[41,197,250],"bloat":[42],"related":[43],"unneeded":[45],"program":[46,95,182,212,322,328,363,371],"features.":[47],"Many":[48],"these":[50,160],"rely":[52],"on":[53],"usage":[55],"profile,":[56],"typically":[57],"provided":[58],"set":[61],"inputs,":[63],"specification.":[65],"Such":[66],"input-based":[67,136,224],"tend":[69],"produce":[71],"debloated":[72,287],"programs":[73,140,288],"are":[75,168],"overfitted":[76],"provided,":[80],"introducing":[81],"issues":[83,120,157,178],"often":[84],"bugs":[86],"vulnerabilities":[88],"pose":[90],"severe":[91],"threats":[92],"correctness":[96],"security.":[98],"No":[99],"prior":[100],"work":[101],"has":[102],"systematically":[103],"investigated":[104],"current":[108,166],"analyzed":[112],"types":[114],"causes":[116],"they":[121,172],"introduce.":[122],"To":[123,274],"fill":[124],"this":[125],"gap,":[126],"conducted":[128],"in":[131,210,342],"which":[132],"applied":[134,234],"7":[135],"18":[139],"from":[141,248,266],"existing":[143],"benchmarks":[144],"used":[148,282],"three":[149],"fuzzers":[150],"with":[151],"various":[152],"sanitizers":[153],"detect":[155],"introduced":[158],"by":[159,290,337],"techniques.":[161],"Our":[162],"results":[163],"show":[164],"highly":[169],"unsound,":[170],"can":[173,208,232,310,326,355],"introduce":[174],"number":[176],"lead":[180],"crashes.":[183],"A":[184],"key":[185],"reason":[186],"issue":[189],"introduction":[190],"is":[191,241],"inappropriate":[193],"deletion":[194],"soundness-related":[196],"such":[198],"conditional":[200],"statements":[201],"checking":[202],"invalid":[203],"cases,":[204],"which,":[205],"if":[206],"missing,":[207],"result":[209],"unexpected":[211,357],"state":[213],"unconditioned":[215],"execution.":[216],"<p":[217],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">To":[219],"improve":[220,312],"debloating,":[225],"explored":[227],"be":[233],"coverage-based":[236,249,292],"debloating.":[237],"core":[239],"idea":[240],"identify":[243],"every":[244],"deleted":[245],"branch":[246,257,270],"resulted":[247],"pruning":[251],"and,":[252],"instead":[253],"leaving":[255],"empty,":[259],"augment":[260,285],"it":[261,283,325,330],"prevent":[263],"any":[264,360],"execution":[265,358],"passing":[267],"through":[268],"causing":[272],"problems.":[273],"assess":[275],"effectiveness":[277],"method,":[280],"generated":[289],"four":[291],"evaluated":[295],"generality":[299,336],"augmented":[302],"programs.":[303],"We":[304],"found":[305],"significantly":[311,333],"soundness,":[313],"at":[314],"cost":[316],"only":[318],"slightly":[319],"increasing":[320],"size.":[323],"Although":[324],"change":[327],"semantics,":[329],"does":[331],"not":[332,347,365],"affect":[334],"weakening":[338],"program\u2019s":[340],"ability":[341],"handling":[343],"other":[344],"feature-related":[345],"seen":[348],"while":[349],"debugging.":[350],"Moreover,":[351],"forbid":[356],"should":[364],"have":[366],"processed,":[367],"thereby":[368],"improving":[369],"trustworthiness.":[372]},"counts_by_year":[],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2026-02-03T00:00:00"}