{"id":"https://openalex.org/W4411450155","doi":"https://doi.org/10.1145/3729401","title":"CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction","display_name":"CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450155","doi":"https://doi.org/10.1145/3729401"},"language":"en","primary_location":{"id":"doi:10.1145/3729401","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729401","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/3729401","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099100763","display_name":"Hridya Dhulipala","orcid":"https://orcid.org/0009-0001-4474-2984"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hridya Dhulipala","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0001-4474-2984","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","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":null,"display_name":"Smit Soneshbhai Patel","orcid":"https://orcid.org/0009-0006-3404-3430"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Smit Soneshbhai Patel","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0006-3404-3430","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":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18922273,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"FSE","first_page":"2965","last_page":"2986"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9984999895095825,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9975000023841858,"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.8785973191261292},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5110398530960083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4988999366760254},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.48805201053619385},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4679841995239258},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4353005886077881},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.4309823215007782},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4302857518196106},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.42013972997665405},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41042718291282654},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.39448225498199463},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3504534959793091},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34108659625053406},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.28100430965423584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8785973191261292},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5110398530960083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4988999366760254},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.48805201053619385},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4679841995239258},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4353005886077881},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.4309823215007782},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4302857518196106},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.42013972997665405},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41042718291282654},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39448225498199463},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3504534959793091},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34108659625053406},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.28100430965423584},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729401","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729401","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/3729401","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729401","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":[{"id":"https://metadata.un.org/sdg/16","score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1970803519","https://openalex.org/W2036700291","https://openalex.org/W2063068372","https://openalex.org/W2155891645","https://openalex.org/W2888491619","https://openalex.org/W2955685982","https://openalex.org/W2963846926","https://openalex.org/W2966980041","https://openalex.org/W3049735680","https://openalex.org/W3195442242","https://openalex.org/W4225108562","https://openalex.org/W4289038676","https://openalex.org/W4378513026","https://openalex.org/W4391558490","https://openalex.org/W4394769544","https://openalex.org/W4399567462"],"related_works":["https://openalex.org/W167088980","https://openalex.org/W2475705533","https://openalex.org/W186129870","https://openalex.org/W3081644756","https://openalex.org/W3122369893","https://openalex.org/W2407476586","https://openalex.org/W2048831961","https://openalex.org/W1606349578","https://openalex.org/W2750654225","https://openalex.org/W4399567378"],"abstract_inverted_index":{"While":[0],"LLMs":[1,45],"excel":[2],"in":[3,21,46,77,144,173,176,214,223],"understanding":[4],"source":[5],"code":[6,13,15,28,70,116,121,162,225],"and":[7,30,48,62,97,181,195],"descriptive":[8],"texts":[9],"for":[10,59,69],"tasks":[11],"like":[12],"generation,":[14],"completion,":[16],"etc.,":[17],"they":[18],"exhibit":[19],"weaknesses":[20],"predicting":[22,49],"dynamic":[23,196],"program":[24,37,51,79,91],"behavior,":[25],"such":[26],"as":[27,124],"coverage":[29,71,117,122,133,174,183],"runtime":[31,221],"error":[32],"detection,":[33],"which":[34],"typically":[35],"require":[36],"execution.":[38],"Aiming":[39],"to":[40,113,137],"advance":[41],"the":[42,50,99,102,108,140,145,150,155,187,200,215,228],"capability":[43],"of":[44,93,101,104,127,161,178,218],"reasoning":[47,197],"behavior":[52],"at":[53,107],"runtime,":[54],"we":[55,211],"present":[56],"CRISPE":[57,73,169],"(short":[58],"Coverage":[60],"Rationalization":[61],"Intelligent":[63],"Selection":[64],"ProcedurE),":[65],"a":[66,125],"novel":[67],"approach":[68],"prediction.":[72],"guides":[74],"an":[75,82],"LLM":[76,141,201],"simulating":[78],"execution":[80,83],"via":[81],"plan":[84],"based":[85],"on":[86,158],"two":[87],"key":[88],"factors:":[89],"(1)":[90],"semantics":[92],"each":[94],"statement":[95],"type,":[96],"(2)":[98],"observation":[100],"set":[103],"covered":[105],"statements":[106],"current":[109],"\u201cexecution\u201d":[110],"step":[111],"relative":[112],"all":[114],"feasible":[115,132,159],"options.":[118],"We":[119,148,189],"formulate":[120],"prediction":[123,175],"process":[126],"semantic-guided":[128],"execution-based":[129],"planning,":[130],"where":[131],"options":[134,160],"are":[135],"utilized":[136],"assess":[138],"whether":[139],"is":[142],"heading":[143],"correct":[146,204],"reasoning.":[147],"enhance":[149],"traditional":[151],"generative":[152],"task":[153,217],"with":[154,193,227],"retrieval-based":[156],"framework":[157],"coverage.":[163],"Our":[164],"experimental":[165],"results":[166],"show":[167,191],"that":[168,192],"achieves":[170],"high":[171],"accuracy":[172],"terms":[177],"both":[179],"exact-match":[180],"statement-match":[182],"metrics,":[184],"improving":[185],"over":[186],"baselines.":[188],"also":[190],"semantic-guiding":[194],"from":[198],"CRISPE,":[199],"generates":[202],"more":[203],"planning":[205],"steps.":[206],"To":[207],"demonstrate":[208],"CRISPE\u2019s":[209],"usefulness,":[210],"used":[212],"it":[213],"downstream":[216],"statically":[219],"detecting":[220],"error(s)":[222],"incomplete":[224],"snippets":[226],"given":[229],"inputs.":[230]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}