{"id":"https://openalex.org/W4411552416","doi":"https://doi.org/10.1109/icse55347.2025.00102","title":"Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets","display_name":"Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets","publication_year":2025,"publication_date":"2025-04-26","ids":{"openalex":"https://openalex.org/W4411552416","doi":"https://doi.org/10.1109/icse55347.2025.00102"},"language":"en","primary_location":{"id":"doi:10.1109/icse55347.2025.00102","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse55347.2025.00102","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5041757823","display_name":"Smit Patel","orcid":"https://orcid.org/0000-0002-2414-4469"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Smit Patel","raw_affiliation_strings":["University of Texas at Dallas,Computer Science Dept.,Texas,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,Computer Science Dept.,Texas,USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013721981","display_name":"Aashish Yadavally","orcid":"https://orcid.org/0000-0001-8785-6319"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aashish Yadavally","raw_affiliation_strings":["University of Texas at Dallas,Computer Science Dept.,Texas,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,Computer Science Dept.,Texas,USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099100763","display_name":"Hridya Dhulipala","orcid":"https://orcid.org/0009-0001-4474-2984"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hridya Dhulipala","raw_affiliation_strings":["University of Texas at Dallas,Computer Science Dept.,Texas,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,Computer Science Dept.,Texas,USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089000736","display_name":"Tien N. Nguyen","orcid":"https://orcid.org/0009-0006-7962-6090"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tien N. Nguyen","raw_affiliation_strings":["University of Texas at Dallas,Computer Science Dept.,Texas,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,Computer Science Dept.,Texas,USA","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"872","last_page":"884"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9945999979972839,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9919000267982483,"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/computer-science","display_name":"Computer science","score":0.8758790493011475},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6509519219398499},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6147778034210205}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8758790493011475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6509519219398499},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6147778034210205},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icse55347.2025.00102","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse55347.2025.00102","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W2033644368","https://openalex.org/W2092742242","https://openalex.org/W2156296121","https://openalex.org/W2736091366","https://openalex.org/W2762786131","https://openalex.org/W2771289545","https://openalex.org/W2809426407","https://openalex.org/W2921022558","https://openalex.org/W2958754741","https://openalex.org/W2964144088","https://openalex.org/W3160492491","https://openalex.org/W3195442242","https://openalex.org/W4200338154","https://openalex.org/W4221166942","https://openalex.org/W4284705844","https://openalex.org/W4385365454","https://openalex.org/W4385570138","https://openalex.org/W4391558490","https://openalex.org/W4394769092","https://openalex.org/W4396240489","https://openalex.org/W4399567462","https://openalex.org/W4401043434"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"have":[4],"been":[5],"excellent":[6],"in":[7,24,29,38,74,147,161,204,214,239,245],"generating":[8],"and":[9,14,22,57,202,233,244],"reasoning":[10,39,75],"about":[11,40,76],"source":[12],"code":[13,49,108,195],"natural-language":[15],"texts.":[16],"They":[17,44],"can":[18],"recognize":[19],"patterns,":[20],"syntax,":[21],"semantics":[23],"code,":[25],"making":[26],"them":[27],"effective":[28,232],"several":[30],"software":[31],"engineering":[32],"tasks.":[33],"However,":[34],"they":[35,219],"exhibit":[36],"weaknesses":[37],"the":[41,54,70,118,124,129,134,137,148,153,166,173,215,236,241],"program":[42,63,78],"execution.":[43,64],"primarily":[45],"operate":[46],"on":[47,133],"static":[48,246],"representations,":[50],"failing":[51],"to":[52,90,95,116,126,156,187,209],"capture":[53],"dynamic":[55,77],"behavior":[56],"state":[58,135],"changes":[59],"that":[60,86,229],"occur":[61],"during":[62],"In":[65,120],"this":[66],"paper,":[67],"we":[68,122,184],"advance":[69],"capabilities":[71],"of":[72,106,136,168,199,248],"LLMs":[73],"behaviors.":[79],"We":[80,151],"propose":[81],"Orca,":[82,121],"a":[83,93,98,113,181,223],"novel":[84],"approach":[85],"instructs":[87],"an":[88],"LLM":[89,125,154],"autonomously":[91],"formulate":[92],"plan":[94],"navigate":[96],"through":[97],"control":[99],"flow":[100],"graph":[101],"(CFG)":[102],"for":[103,140,172,193],"predictive":[104,114,175],"execution":[105,163,242],"(in)complete":[107],"snippets.":[109,196],"It":[110],"acts":[111],"as":[112],"interpreter":[115],"\u201cexecute\u201d":[117],"code.":[119],"guide":[123],"pause":[127],"at":[128,158],"branching":[130],"point,":[131],"focusing":[132],"symbol":[138],"tables":[139],"variables'":[141],"values,":[142],"thus":[143,177],"minimizing":[144],"error":[145],"propagation":[146],"LLM's":[149],"computation.":[150],"instruct":[152],"not":[155],"stop":[157],"each":[159],"step":[160],"its":[162],"plan,":[164],"resulting":[165],"use":[167,185],"only":[169],"one":[170],"prompt":[171],"entire":[174],"interpreter,":[176],"much":[178],"cost-saving.":[179],"As":[180],"downstream":[182],"task,":[183],"Orca":[186,230],"statically":[188],"identify":[189],"any":[190],"runtime":[191,200,249],"errors":[192,201],"online":[194],"Early":[197],"detection":[198,247],"defects":[203],"these":[205],"snippets":[206],"is":[207,231],"crucial":[208],"prevent":[210],"costly":[211],"fixes":[212],"later":[213],"development":[216],"cycle":[217],"after":[218],"were":[220],"adapted":[221],"into":[222],"codebase.":[224],"Our":[225],"empirical":[226],"evaluation":[227],"showed":[228],"improves":[234],"over":[235],"state-of-the-art":[237],"approaches":[238],"predicting":[240],"traces":[243],"errors.":[250]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}