{"id":"https://openalex.org/W4402442342","doi":"https://doi.org/10.1145/3650212.3680320","title":"Feedback-Directed Partial Execution","display_name":"Feedback-Directed Partial Execution","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402442342","doi":"https://doi.org/10.1145/3650212.3680320"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3680320","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3680320","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-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/A5107127516","display_name":"Ishrak Hayet","orcid":"https://orcid.org/0000-0001-6610-3422"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ishrak Hayet","raw_affiliation_strings":["North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0000-0001-6610-3422","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109780191","display_name":"Adam Scott","orcid":null},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Scott","raw_affiliation_strings":["North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0009-0001-1461-6944","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020353093","display_name":"Marcelo d\u2019Amorim","orcid":"https://orcid.org/0000-0002-1323-8769"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcelo d'Amorim","raw_affiliation_strings":["North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0000-0002-1323-8769","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5107127516"],"corresponding_institution_ids":["https://openalex.org/I137902535"],"apc_list":null,"apc_paid":null,"fwci":0.4642,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67722567,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"781","last_page":"793"},"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.9998000264167786,"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.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9966999888420105,"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.7053644061088562},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.415500670671463}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7053644061088562},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.415500670671463}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3680320","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3680320","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","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":46,"referenced_works":["https://openalex.org/W2022090474","https://openalex.org/W2055542752","https://openalex.org/W2115130131","https://openalex.org/W2133251877","https://openalex.org/W2139374478","https://openalex.org/W2145373440","https://openalex.org/W2154021641","https://openalex.org/W2296467253","https://openalex.org/W2463123136","https://openalex.org/W2498678679","https://openalex.org/W2504197999","https://openalex.org/W2548165777","https://openalex.org/W2605202003","https://openalex.org/W2911270308","https://openalex.org/W2911282308","https://openalex.org/W2963879841","https://openalex.org/W2981852735","https://openalex.org/W3005855585","https://openalex.org/W3014903559","https://openalex.org/W3018033251","https://openalex.org/W3085192122","https://openalex.org/W3094250247","https://openalex.org/W3098605233","https://openalex.org/W3100869085","https://openalex.org/W3105735055","https://openalex.org/W3121707215","https://openalex.org/W3126906649","https://openalex.org/W3147133761","https://openalex.org/W3198685994","https://openalex.org/W3205422842","https://openalex.org/W4205596332","https://openalex.org/W4221166942","https://openalex.org/W4226265546","https://openalex.org/W4238216513","https://openalex.org/W4246788636","https://openalex.org/W4251988601","https://openalex.org/W4255108598","https://openalex.org/W4284687350","https://openalex.org/W4285162211","https://openalex.org/W4288089799","https://openalex.org/W4313563465","https://openalex.org/W4384009778","https://openalex.org/W4389162118","https://openalex.org/W4390897855","https://openalex.org/W6833780757","https://openalex.org/W6911896989"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Partial":[0],"code":[1,8,51,145],"execution":[2,63,99,141],"is":[3],"the":[4,21,43,56,62,92,101,106,123,140],"problem":[5,13,22],"of":[6,64,100,133,142],"executing":[7],"with":[9,168],"missing":[10],"definitions.":[11],"The":[12],"has":[14],"gained":[15],"recent":[16],"traction":[17],"as":[18,77],"solutions":[19],"to":[20,48,90,148],"could":[23],"enable":[24,49],"various":[25],"downstream":[26],"analyses.":[27],"We":[28,155],"propose":[29],"feedback-directed":[30],"partial":[31,50,126],"execution,":[32],"a":[33,37,131,169],"technique":[34],"supported":[35],"by":[36],"tool,":[38],"named":[39],"Incompleter,":[40],"that":[41,58,119,158],"uses":[42],"error":[44,70],"feedback":[45],"from":[46],"executions":[47],"execution.":[52,127],"Incompleter":[53,72,103,120,138],"builds":[54],"on":[55],"observation":[57],"errors":[59,95],"observed":[60],"during":[61,98],"incomplete":[65,75,135],"snippets":[66,146],"often":[67],"follow":[68],"similar":[69],"patterns.":[71],"takes":[73],"an":[74],"snippet":[76,107],"input":[78],"and":[79,150],"applies":[80],"rules":[81],"(e.g.,":[82],"add":[83,85,87],"class,":[84],"field,":[86],"file,":[88],"etc.)":[89],"resolve":[91],"successive":[93],"dynamic":[94],"it":[96,112],"encounters":[97],"snippet.":[102],"stops":[104],"when":[105,111],"successfully":[108],"executes":[109],"or":[110],"reaches":[113],"certain":[114],"bounds.":[115],"Our":[116],"results":[117],"indicate":[118],"outperforms":[121],"LExecutor,":[122],"state-of-the-art":[124],"in":[125],"For":[128],"example,":[129],"considering":[130],"dataset":[132],"4.7K":[134],"StackOverflow":[136],"snippets,":[137],"enables":[139],"10%":[143],"more":[144,153],"compared":[147],"LExecutor":[149],"covers":[151],"23%":[152],"statements.":[154],"also":[156],"show":[157],"Incompleter\u2019s":[159],"type":[160,166],"inference":[161],"significantly":[162],"improves":[163],"over":[164],"LExecutor\u2019s":[165],"inference,":[167],"37%":[170],"higher":[171],"F1":[172],"score.":[173]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}