{"id":"https://openalex.org/W4400583100","doi":"https://doi.org/10.1145/3643739","title":"Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning","display_name":"Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning","publication_year":2024,"publication_date":"2024-07-12","ids":{"openalex":"https://openalex.org/W4400583100","doi":"https://doi.org/10.1145/3643739"},"language":"en","primary_location":{"id":"doi:10.1145/3643739","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643739","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3643739","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013721981","display_name":"Aashish Yadavally","orcid":"https://orcid.org/0000-0001-8785-6319"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aashish Yadavally","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0000-0001-8785-6319","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249192","display_name":"Yi Li","orcid":"https://orcid.org/0009-0007-0143-0677"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0007-0143-0677","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089000736","display_name":"Tien N. Nguyen","orcid":"https://orcid.org/0009-0006-7962-6090"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tien N. Nguyen","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0006-7962-6090","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4863,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.83682668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"1","issue":"FSE","first_page":"271","last_page":"292"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973000288009644,"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/T10260","display_name":"Software Engineering Research","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/slicing","display_name":"Slicing","score":0.7508349418640137},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6938243508338928},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.6124346256256104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3815710246562958},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37103137373924255},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3462461233139038},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.322582483291626},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.08218595385551453}],"concepts":[{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.7508349418640137},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6938243508338928},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.6124346256256104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3815710246562958},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37103137373924255},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3462461233139038},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.322582483291626},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.08218595385551453}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3643739","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643739","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3643739","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643739","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5600000023841858}],"awards":[{"id":"https://openalex.org/G4604030585","display_name":null,"funder_award_id":"NCAE-C-002-2021","funder_id":"https://openalex.org/F4320311089","funder_display_name":"National Security Agency"},{"id":"https://openalex.org/G5204842600","display_name":null,"funder_award_id":"CNS-2120386","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311089","display_name":"National Security Agency","ror":"https://ror.org/0047bvr32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1546381996","https://openalex.org/W1546606300","https://openalex.org/W1575308494","https://openalex.org/W1964060567","https://openalex.org/W1975807602","https://openalex.org/W1984248430","https://openalex.org/W1999753800","https://openalex.org/W2007121005","https://openalex.org/W2057992103","https://openalex.org/W2110066339","https://openalex.org/W2122749276","https://openalex.org/W2141381576","https://openalex.org/W2147140044","https://openalex.org/W2161992906","https://openalex.org/W2167153801","https://openalex.org/W2255006515","https://openalex.org/W2758513221","https://openalex.org/W2955685982","https://openalex.org/W3091649626","https://openalex.org/W3105943882","https://openalex.org/W4241211222","https://openalex.org/W4255775939","https://openalex.org/W4384302778","https://openalex.org/W4389162118"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W2991905743","https://openalex.org/W4239953224","https://openalex.org/W2112395437","https://openalex.org/W4302024603","https://openalex.org/W2347708239","https://openalex.org/W2170816480","https://openalex.org/W1595405651","https://openalex.org/W2011854888"],"abstract_inverted_index":{"Program":[0],"slicing,":[1],"the":[2,17,73,89,103,107,114,210],"process":[3,82],"of":[4,137,148,178,198],"extracting":[5],"program":[6,91,109,131],"statements":[7],"that":[8,62],"influence":[9],"values":[10],"at":[11],"a":[12,58,69,81,118,126,145],"designated":[13],"location":[14],"(known":[15],"as":[16,46,202,207,209],"slicing":[18,30,60,104],"criterion),":[19],"is":[20,40],"helpful":[21],"in":[22,34,102,129,168,213],"both":[23,94],"manual":[24],"and":[25,97,106,144,205],"automated":[26],"debugging.":[27],"However,":[28],"such":[29,80,201],"techniques":[31],"prove":[32],"ineffective":[33],"scenarios":[35],"where":[36],"executing":[37],"specific":[38,65],"inputs":[39],"prohibitively":[41],"expensive,":[42],"or":[43],"even":[44],"impossible,":[45],"with":[47,171,175],"partial":[48],"code.":[49],"In":[50],"this":[51],"paper,":[52],"we":[53,162,187],"introduce":[54],"ND-":[55,164,194],"Slicer":[56,165,195],",":[57],"predictive":[59,119],"methodology":[61],"caters":[63],"to":[64,87],"executions":[66],"based":[67],"on":[68,155],"particular":[70],"input,":[71],"overcoming":[72],"need":[74],"for":[75,116],"actual":[76],"execution.":[77],"We":[78],"enable":[79],"by":[83],"leveraging":[84],"execution-aware":[85],"pre-training":[86],"learn":[88],"dynamic":[90,95],"dependencies,":[92],"including":[93],"data":[96],"control":[98,211],"dependencies":[99],"between":[100],"variables":[101],"criterion":[105],"remaining":[108],"statements.":[110],"Such":[111],"knowledge":[112],"forms":[113],"cornerstone":[115],"constructing":[117],"backward":[120],"slice.":[121],"Our":[122],"empirical":[123],"evaluation":[124],"revealed":[125],"high":[127],"accuracy":[128,136,177],"predicting":[130],"slices,":[132],"achieving":[133],"an":[134,159,176,189],"exact-match":[135],"<mml:math":[138,149,179],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[139,150,180],"display=\"inline\">":[140,151,181],"<mml:mn>81.3</mml:mn>":[141],"<mml:mo>%</mml:mo>":[142,153,183],"</mml:math>":[143,154,184],"ROUGE-LCS":[146],"F1-score":[147],"<mml:mn>95.4</mml:mn>":[152],"Python":[156],"programs.":[157],"As":[158],"extrinsic":[160],"evaluation,":[161,192],"illustrate":[163],"'s":[166],"usefulness":[167],"crash":[169],"detection,":[170],"it":[172],"locating":[173],"faults":[174],"<mml:mn>63.9</mml:mn>":[182],".":[185],"Furthermore,":[186],"include":[188],"in-depth":[190],"qualitative":[191],"assessing":[193],"\u2019s":[196],"understanding":[197],"branched":[199],"structures":[200],"if-else":[203],"blocks":[204],"loops,":[206],"well":[208],"flow":[212],"inter-procedural":[214],"calls.":[215]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}