This research demonstrates a reinforcement learning method that identifies infeasible paths in software programs, suggesting improvements in program verification.
International Journal of Software Engineering and Knowledge EngineeringAccepted Papers No AccessA Reinforcement Learning Based Approach for Determining Infeasible Paths of ProgramsPeng Dai, Tang He, Zebo Peng, Chen Zhao, and Yunzhan GongPeng Dai, Tang He Search for more papers by this author , Zebo Peng Search for more papers by this author , Chen Zhao Search for more papers by this author , and Yunzhan Gong Search for more papers by this author https://doi.org/10.1142/S0218194025500457Cited by:0 (Source: Crossref) PreviousNext AboutSectionsPDF/EPUB ToolsAdd to favoritesDownload CitationsTrack CitationsRecommend to Library ShareShare onFacebookTwitterLinked InRedditEmail FiguresReferencesRelatedDetails Recommended Accepted Papers Metrics History Received 8 June 2025 Accepted 12 August 2025 PDF download
No takes yet. Share an insight, caveat, or question.
Dai et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: