{"id":"https://openalex.org/W4413431599","doi":"https://doi.org/10.1142/s0218194025500457","title":"A Reinforcement Learning-Based Approach for Determining Infeasible Paths of Programs","display_name":"A Reinforcement Learning-Based Approach for Determining Infeasible Paths of Programs","publication_year":2025,"publication_date":"2025-08-22","ids":{"openalex":"https://openalex.org/W4413431599","doi":"https://doi.org/10.1142/s0218194025500457"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194025500457","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194025500457","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge 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/A5062859241","display_name":"Peng Dai","orcid":"https://orcid.org/0000-0003-1919-2498"},"institutions":[{"id":"https://openalex.org/I4210089621","display_name":"Chizhou University","ror":"https://ror.org/007cx7r28","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210089621"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Dai","raw_affiliation_strings":["Anhui Education Big Data Intelligent Perception and Application Engineering Research Center, School of Big Data and Artificial Intelligence, Chizhou University, Chizhou 247000, P. R. China"],"raw_orcid":"https://orcid.org/0000-0003-1919-2498","affiliations":[{"raw_affiliation_string":"Anhui Education Big Data Intelligent Perception and Application Engineering Research Center, School of Big Data and Artificial Intelligence, Chizhou University, Chizhou 247000, P. R. China","institution_ids":["https://openalex.org/I4210089621"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tang He","orcid":"https://orcid.org/0009-0009-6843-4941"},"institutions":[{"id":"https://openalex.org/I4210089621","display_name":"Chizhou University","ror":"https://ror.org/007cx7r28","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210089621"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tang He","raw_affiliation_strings":["Anhui Education Big Data Intelligent Perception and Application Engineering Research Center, School of Big Data and Artificial Intelligence, Chizhou University, Chizhou 247000, P. R. China"],"raw_orcid":"https://orcid.org/0009-0009-6843-4941","affiliations":[{"raw_affiliation_string":"Anhui Education Big Data Intelligent Perception and Application Engineering Research Center, School of Big Data and Artificial Intelligence, Chizhou University, Chizhou 247000, P. R. China","institution_ids":["https://openalex.org/I4210089621"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003372884","display_name":"Zebo Peng","orcid":"https://orcid.org/0000-0002-5137-565X"},"institutions":[{"id":"https://openalex.org/I4210089621","display_name":"Chizhou University","ror":"https://ror.org/007cx7r28","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210089621"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zebo Peng","raw_affiliation_strings":["Anhui Provincial Joint Construction Key Laboratory of Intelligent Education Equipment and Technology, Chizhou 247000, P.\u00a0R.\u00a0China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Anhui Provincial Joint Construction Key Laboratory of Intelligent Education Equipment and Technology, Chizhou 247000, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I4210089621"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056233405","display_name":"Chen Zhao","orcid":"https://orcid.org/0000-0001-8614-5080"},"institutions":[{"id":"https://openalex.org/I159389169","display_name":"Ningbo University of Technology","ror":"https://ror.org/037dym702","country_code":"CN","type":"education","lineage":["https://openalex.org/I159389169"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Zhao","raw_affiliation_strings":["School of Cyber Science and Engineering, Ningbo University of Technology, Ningbo 315211, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0001-8614-5080","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Ningbo University of Technology, Ningbo 315211, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I159389169"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100687956","display_name":"Yunzhan Gong","orcid":"https://orcid.org/0000-0002-9105-4797"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunzhan Gong","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, P.\u00a0R.\u00a0China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I139759216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20659684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"10","first_page":"1435","last_page":"1464"},"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.9994999766349792,"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.9994999766349792,"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.9991999864578247,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.8274760842323303},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6965234279632568},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4678431749343872},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.42862340807914734},{"id":"https://openalex.org/keywords/reinforcement","display_name":"Reinforcement","score":0.4213348627090454},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15184879302978516}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.8274760842323303},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6965234279632568},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4678431749343872},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.42862340807914734},{"id":"https://openalex.org/C67203356","wikidata":"https://www.wikidata.org/wiki/Q1321905","display_name":"Reinforcement","level":2,"score":0.4213348627090454},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15184879302978516},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194025500457","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194025500457","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2418852109","display_name":null,"funder_award_id":"2024AH051366","funder_id":"https://openalex.org/F4320330383","funder_display_name":"Key Research Institute of Humanities and Social Sciences in Sichuan Province"}],"funders":[{"id":"https://openalex.org/F4320330383","display_name":"Key Research Institute of Humanities and Social Sciences in Sichuan Province","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W116894366","https://openalex.org/W122085203","https://openalex.org/W1984842289","https://openalex.org/W2027091066","https://openalex.org/W2077290660","https://openalex.org/W2097444001","https://openalex.org/W2163266483","https://openalex.org/W2914202686","https://openalex.org/W2919495556","https://openalex.org/W2963723316","https://openalex.org/W3011632945","https://openalex.org/W3011832572","https://openalex.org/W3090526726","https://openalex.org/W3096465442","https://openalex.org/W3120672518","https://openalex.org/W3130513482","https://openalex.org/W3152154974","https://openalex.org/W3173303608","https://openalex.org/W3174546212","https://openalex.org/W3213182664","https://openalex.org/W4211171425","https://openalex.org/W4296412272","https://openalex.org/W4317382974","https://openalex.org/W4318976592","https://openalex.org/W4386015342","https://openalex.org/W4386140507","https://openalex.org/W4386579875","https://openalex.org/W4399686980","https://openalex.org/W4401306209","https://openalex.org/W4402040489","https://openalex.org/W4403579163","https://openalex.org/W4406247099"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W4387369504","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W3107602296","https://openalex.org/W4364306694","https://openalex.org/W4312192474","https://openalex.org/W4283697347"],"abstract_inverted_index":{"Program":[0],"path":[1,54,63,73,82,98,112,118,140,151],"analysis":[2],"is":[3,68,85],"an":[4,44,110],"essential":[5],"component":[6],"of":[7,163],"software":[8,37],"defect":[9],"detection":[10],"and":[11,34,39,56,65,91,105,116,134,157,165],"quality":[12,38],"assurance.":[13],"Accurately":[14],"identifying":[15],"infeasible":[16,49,155],"paths":[17,50,156],"can":[18],"prevent":[19],"false":[20],"positives":[21],"caused":[22],"by":[23,76,103],"invalid":[24],"paths,":[25],"enabling":[26],"developers":[27],"to":[28,70,87,108,122,137],"pinpoint":[29],"actual":[30],"defects":[31],"more":[32],"efficiently":[33],"enhancing":[35],"overall":[36],"reliability.":[40],"This":[41],"paper":[42],"proposes":[43],"integrated":[45],"approach":[46,148],"for":[47],"determining":[48],"based":[51],"on":[52],"program":[53],"features":[55],"constraint-based":[57],"reinforcement":[58,128],"learning.":[59],"First,":[60],"a":[61,79,97,127],"loop-structure":[62],"search":[64],"reduction":[66,83],"algorithm":[67,84,101],"proposed":[69,147],"systematically":[71],"simplify":[72],"explosion":[74],"induced":[75],"loops.":[77],"Then,":[78],"global":[80],"subgraph-based":[81],"introduced":[86],"effectively":[88],"remove":[89],"redundant":[90],"irrelevant":[92],"paths.":[93],"Subsequently,":[94],"we":[95],"propose":[96],"set":[99],"generation":[100],"guided":[102],"control":[104],"implication":[106],"relationships":[107],"construct":[109],"optimized":[111],"set.":[113],"Path":[114],"constraints":[115,119],"symbolic":[117],"are":[120],"used":[121],"enhance":[123],"semantic":[124],"representation.":[125],"Finally,":[126],"learning-based":[129],"model":[130],"utilizing":[131],"reachability":[132],"rewards":[133,136],"exploration":[135],"dynamically":[138],"determine":[139],"reachability.":[141],"Experimental":[142],"results":[143],"show":[144],"that":[145],"our":[146],"significantly":[149],"reduces":[150],"explosion,":[152],"accurately":[153],"identifies":[154],"outperforms":[158],"existing":[159],"methods":[160],"in":[161],"terms":[162],"accuracy":[164],"computational":[166],"efficiency.":[167]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}