{"id":"https://openalex.org/W4412400243","doi":"https://doi.org/10.1145/3748505","title":"Advancing Code Coverage: Incorporating Program Analysis with Large Language Models","display_name":"Advancing Code Coverage: Incorporating Program Analysis with Large Language Models","publication_year":2025,"publication_date":"2025-07-14","ids":{"openalex":"https://openalex.org/W4412400243","doi":"https://doi.org/10.1145/3748505"},"language":"en","primary_location":{"id":"doi:10.1145/3748505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3748505","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","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/A5101465751","display_name":"Chen Yang","orcid":"https://orcid.org/0000-0003-0759-940X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Yang","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University, Tianjin, China","Tianjin University, China"],"raw_orcid":"https://orcid.org/0000-0003-0759-940X","affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100365555","display_name":"Junjie Chen","orcid":"https://orcid.org/0000-0003-3056-9962"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Chen","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University, Tianjin, China","Tianjin University, China"],"raw_orcid":"https://orcid.org/0000-0003-3056-9962","affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032251414","display_name":"Bin Lin","orcid":"https://orcid.org/0000-0001-6307-8460"},"institutions":[{"id":"https://openalex.org/I50760025","display_name":"Hangzhou Dianzi University","ror":"https://ror.org/0576gt767","country_code":"CN","type":"education","lineage":["https://openalex.org/I50760025"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin Lin","raw_affiliation_strings":["Hangzhou Dianzi University, Hangzhou, China","Hangzhou Dianzi University, China"],"raw_orcid":"https://orcid.org/0000-0001-6307-8460","affiliations":[{"raw_affiliation_string":"Hangzhou Dianzi University, Hangzhou, China","institution_ids":["https://openalex.org/I50760025"]},{"raw_affiliation_string":"Hangzhou Dianzi University, China","institution_ids":["https://openalex.org/I50760025"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ziqi Wang","orcid":"https://orcid.org/0009-0000-8630-8724"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziqi Wang","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University, Tianjin, China","Tianjin University, China"],"raw_orcid":"https://orcid.org/0009-0000-8630-8724","affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101670110","display_name":"Jianyi Zhou","orcid":"https://orcid.org/0000-0002-4867-5416"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianyi Zhou","raw_affiliation_strings":["Huawei Cloud Computing Technologies Co Ltd, Beijing, China","Huawei Cloud Computing Technologies Co., Ltd., China"],"raw_orcid":"https://orcid.org/0000-0002-4867-5416","affiliations":[{"raw_affiliation_string":"Huawei Cloud Computing Technologies Co Ltd, Beijing, China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"Huawei Cloud Computing Technologies Co., Ltd., China","institution_ids":["https://openalex.org/I2250955327"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.1538,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.97971919,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"35","issue":"5","first_page":"1","last_page":"31"},"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.9998999834060669,"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.9998999834060669,"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.9986000061035156,"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.9983999729156494,"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/computer-science","display_name":"Computer science","score":0.8418306112289429},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.52522873878479},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.41997525095939636},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4153348505496979},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36122703552246094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8418306112289429},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.52522873878479},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41997525095939636},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4153348505496979},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36122703552246094},{"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.1145/3748505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3748505","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7094758264","display_name":null,"funder_award_id":"62322208 and 62232001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1881549354","https://openalex.org/W1971650562","https://openalex.org/W2041282815","https://openalex.org/W2135841285","https://openalex.org/W2138428785","https://openalex.org/W2156723666","https://openalex.org/W2364496964","https://openalex.org/W2514806119","https://openalex.org/W2518440340","https://openalex.org/W2586946380","https://openalex.org/W2735077751","https://openalex.org/W2749159177","https://openalex.org/W2804003629","https://openalex.org/W3086938529","https://openalex.org/W3161685529","https://openalex.org/W3170092793","https://openalex.org/W3194136989","https://openalex.org/W4220699888","https://openalex.org/W4238530241","https://openalex.org/W4284690374","https://openalex.org/W4320854935","https://openalex.org/W4384304865","https://openalex.org/W4388483238","https://openalex.org/W4391974543","https://openalex.org/W4393305539","https://openalex.org/W4398766423","https://openalex.org/W4400484392","https://openalex.org/W4400484796","https://openalex.org/W4400582690","https://openalex.org/W4402954010","https://openalex.org/W4403536268","https://openalex.org/W4403536388","https://openalex.org/W4405529493"],"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/W1598565505","https://openalex.org/W2064613179"],"abstract_inverted_index":{"Automatic":[0],"test":[1,92],"generation":[2],"plays":[3],"a":[4,70,123,134],"critical":[5],"role":[6],"in":[7,15,28,54,82,203],"software":[8],"quality":[9],"assurance.":[10],"While":[11],"the":[12,88,111,151,160,163,173,189],"recent":[13],"advances":[14],"Search-Based":[16],"Software":[17],"Testing":[18],"(SBST)":[19],"and":[20,49,100,119,132,148,166,192,201],"Large":[21],"Language":[22],"Models":[23],"(LLMs)":[24],"have":[25],"shown":[26],"promise":[27],"generating":[29],"useful":[30],"tests,":[31],"these":[32,41,76,140],"techniques":[33],"still":[34],"struggle":[35],"to":[36,93,96,109,137,155],"cover":[37],"certain":[38],"branches.":[39,175],"Reaching":[40],"hard-to-cover":[42,107,174],"branches":[43,108],"usually":[44],"requires":[45],"constructing":[46],"complex":[47,98],"objects":[48,99],"resolving":[50],"intricate":[51],"inter-procedural":[52,104],"dependencies":[53,105],"branch":[55,114,206],"conditions,":[56],"which":[57],"poses":[58],"significant":[59],"challenges":[60],"for":[61,130],"existing":[62],"techniques.":[63],"In":[64],"this":[65],"work,":[66],"we":[67],"propose":[68],"TELPA,":[69],"novel":[71],"technique":[72],"aimed":[73],"at":[74],"addressing":[75],"challenges.":[77],"Its":[78],"key":[79],"insight":[80],"lies":[81],"extracting":[83,101],"real":[84],"usage":[85],"scenarios":[86],"of":[87,113,125,159,162,199,205],"target":[89,164],"method":[90,165],"under":[91],"learn":[94,110],"how":[95],"construct":[97],"methods":[102],"entailing":[103],"with":[106],"semantics":[112,161],"constraints.":[115],"To":[116],"enhance":[117],"efficiency":[118],"effectiveness,":[120],"TELPA":[121,143,186],"identifies":[122],"set":[124],"ineffective":[126],"tests":[127,169],"as":[128],"counter-examples":[129,149],"LLMs":[131,154],"employs":[133],"feedback-based":[135],"process":[136],"iteratively":[138],"refine":[139],"counter-examples.":[141],"Then,":[142],"integrates":[144],"program":[145],"analysis":[146],"results":[147,178],"into":[150],"prompt,":[152],"guiding":[153],"gain":[156],"deeper":[157],"understandings":[158],"generate":[167],"diverse":[168],"that":[170,185],"can":[171],"reach":[172],"Our":[176],"experimental":[177],"on":[179],"27":[180],"open-source":[181],"Python":[182],"projects":[183],"demonstrate":[184],"significantly":[187],"outperforms":[188],"state-of-the-art":[190],"SBST":[191],"LLM-enhanced":[193],"techniques,":[194],"achieving":[195],"an":[196],"average":[197],"improvement":[198],"34.10%":[200],"25.93%":[202],"terms":[204],"coverage.":[207]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}