{"id":"https://openalex.org/W4411523093","doi":"https://doi.org/10.1145/3728939","title":"AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent","display_name":"AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411523093","doi":"https://doi.org/10.1145/3728939"},"language":"en","primary_location":{"id":"doi:10.1145/3728939","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728939","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-nc","license_id":"https://openalex.org/licenses/cc-by-nc","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/3728939","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101610258","display_name":"He Ye","orcid":"https://orcid.org/0000-0003-4807-2110"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"He Ye","raw_affiliation_strings":["University College London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University College London, London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039259335","display_name":"Aidan Z. H. Yang","orcid":"https://orcid.org/0009-0003-8808-6426"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aidan Z.H. Yang","raw_affiliation_strings":["Carnegie Mellon University, PITTSBURGH, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, PITTSBURGH, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112125404","display_name":"Chang Wen Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Chang Hu","raw_affiliation_strings":["Macau University of Science and Technology, Macau, China"],"affiliations":[{"raw_affiliation_string":"Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100350708","display_name":"Yanlin Wang","orcid":"https://orcid.org/0000-0001-7761-7269"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanlin Wang","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100375823","display_name":"Tao Zhang","orcid":"https://orcid.org/0000-0002-6272-4069"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Tao Zhang","raw_affiliation_strings":["Macau University of Science and Technology, Macau, China"],"affiliations":[{"raw_affiliation_string":"Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032356672","display_name":"Claire Le Goues","orcid":"https://orcid.org/0000-0002-3931-060X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Claire Le Goues","raw_affiliation_strings":["Carnegie Mellon University, PITTSBURGH, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, PITTSBURGH, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101610258"],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":null,"apc_paid":null,"fwci":6.7895,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.96320523,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"2","issue":"ISSTA","first_page":"1398","last_page":"1420"},"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.9977999925613403,"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.7858905792236328},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.7433554530143738},{"id":"https://openalex.org/keywords/overfitting","display_name":"Overfitting","score":0.6823122501373291},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6484906673431396},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5580475926399231},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5267740488052368},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.49802541732788086},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4509262442588806},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43937450647354126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4221719205379486},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.19152608513832092},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.1070379912853241}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7858905792236328},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.7433554530143738},{"id":"https://openalex.org/C22019652","wikidata":"https://www.wikidata.org/wiki/Q331309","display_name":"Overfitting","level":3,"score":0.6823122501373291},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6484906673431396},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5580475926399231},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5267740488052368},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.49802541732788086},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4509262442588806},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43937450647354126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4221719205379486},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.19152608513832092},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.1070379912853241},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3728939","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728939","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-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10216689","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10216689/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"In:  Proceedings of the ACM on Software Engineering, Volume 2, Issue ISSTA.  (pp. pp. 1398-1420).  ACM (2025)","raw_type":"Proceedings paper"}],"best_oa_location":{"id":"doi:10.1145/3728939","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728939","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-nc","license_id":"https://openalex.org/licenses/cc-by-nc","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W569478347","https://openalex.org/W2041713059","https://openalex.org/W2060333670","https://openalex.org/W2061575154","https://openalex.org/W2122947685","https://openalex.org/W2135841285","https://openalex.org/W2145373440","https://openalex.org/W2153881107","https://openalex.org/W2156723666","https://openalex.org/W2344973853","https://openalex.org/W2373227884","https://openalex.org/W2465133314","https://openalex.org/W2518136680","https://openalex.org/W2548997977","https://openalex.org/W2735107749","https://openalex.org/W2851896161","https://openalex.org/W2898024328","https://openalex.org/W2907705732","https://openalex.org/W2924629359","https://openalex.org/W2952920225","https://openalex.org/W2953998535","https://openalex.org/W2954778170","https://openalex.org/W2954823997","https://openalex.org/W2955555786","https://openalex.org/W2960756002","https://openalex.org/W2963909831","https://openalex.org/W2975950293","https://openalex.org/W2981875947","https://openalex.org/W3012626099","https://openalex.org/W3081159607","https://openalex.org/W3089621332","https://openalex.org/W3121734253","https://openalex.org/W3122473522","https://openalex.org/W3134686229","https://openalex.org/W3160155705","https://openalex.org/W3161027892","https://openalex.org/W3193682477","https://openalex.org/W3194184668","https://openalex.org/W3208407575","https://openalex.org/W4235670907","https://openalex.org/W4239249613","https://openalex.org/W4244452926","https://openalex.org/W4255108598","https://openalex.org/W4255726755","https://openalex.org/W4256377773","https://openalex.org/W4288614128","https://openalex.org/W4308643319","https://openalex.org/W4313563660","https://openalex.org/W4384155607","https://openalex.org/W4384345745","https://openalex.org/W4384345778","https://openalex.org/W4385571778","https://openalex.org/W4386436496","https://openalex.org/W4387055370","https://openalex.org/W4388848588","https://openalex.org/W4391558413","https://openalex.org/W4393160302","https://openalex.org/W4393240975","https://openalex.org/W4402442868","https://openalex.org/W4402671013","https://openalex.org/W4408124887","https://openalex.org/W6802905623"],"related_works":["https://openalex.org/W4362597605","https://openalex.org/W1574414179","https://openalex.org/W4297676672","https://openalex.org/W3009056573","https://openalex.org/W2922073769","https://openalex.org/W4281702477","https://openalex.org/W2490526372","https://openalex.org/W4376166922","https://openalex.org/W4378510483","https://openalex.org/W4221142204"],"abstract_inverted_index":{"Automated":[0],"program":[1,44,67,103,159,211,253],"repair":[2,151,195],"(APR)":[3],"has":[4],"shown":[5],"promising":[6],"results,":[7],"particularly":[8],"with":[9,129,162,177],"the":[10,31,35,61,92,121,130,154,163,168,185,194,209,214,242],"use":[11,184],"of":[12,43,140],"neural":[13],"networks.":[14],"Currently,":[15],"most":[16],"APR":[17,97],"tools":[18,47],"focus":[19,93],"on":[20,81,220],"code":[21,261],"transformations":[22],"specified":[23],"by":[24,248],"test":[25,55,147,169,173],"suites,":[26],"rather":[27,258],"than":[28,259],"reasoning":[29,65,144,155],"about":[30,66],"program\u2019s":[32],"intent":[33,68,212,254],"and":[34,57,83,149,199,213,225,231],"high-level":[36],"bug":[37],"specification.":[38],"Without":[39],"a":[40,136,143,146,150],"proper":[41],"understanding":[42],"intent,":[45,180],"these":[46],"tend":[48],"to":[49,59,90,99,108,113,117,203,245,251],"generate":[50,204],"patches":[51,98,205,247],"that":[52,111,123,175,183,206],"overfit":[53],"incomplete":[54],"suites":[56],"fail":[58],"reflect":[60],"developer\u2019s":[62,131],"intentions.":[63],"However,":[64],"is":[69,88,135],"challenging.":[70],"In":[71],"our":[72],"work,":[73],"we":[74,106],"propose":[75],"an":[76],"approach":[77,87,138],"called":[78],"AdverIntent-Agent,":[79],"based":[80],"critique":[82],"adversarial":[84,116,158,172],"reasoning.":[85],"Our":[86,238],"novel":[89],"shift":[91],"from":[94],"generating":[95],"multiple":[96,101],"inferring":[100],"potential":[102],"intents.":[104],"Ideally,":[105],"aim":[107],"infer":[109],"intents":[110,160],"are,":[112],"some":[114],"extent,":[115],"each":[118,178],"other,":[119],"maximizing":[120],"probability":[122],"at":[124],"least":[125],"one":[126],"aligns":[127],"closely":[128],"original":[132],"intent.":[133],"AdverIntent-Agent":[134,217],"multi-agent":[137],"consisting":[139],"three":[141],"agents:":[142],"agent,":[145,148],"agent.":[152],"First,":[153],"agent":[156,170,196],"generates":[157],"along":[161],"corresponding":[164],"faulty":[165],"statements.":[166],"Next,":[167],"produces":[171],"cases":[174],"align":[176],"inferred":[179,210],"constructing":[181],"oracles":[182],"same":[186],"inputs":[187],"but":[188],"have":[189],"different":[190],"expected":[191],"outputs.":[192],"Finally,":[193],"uses":[197],"dynamic":[198],"precise":[200],"LLM":[201],"prompts":[202],"satisfy":[207],"both":[208,235],"generated":[215],"tests.":[216],"was":[218],"evaluated":[219],"two":[221],"benchmarks:":[222],"Defects4J":[223],"2.0":[224],"HumanEval-Java.":[226],"AdverIntentAgent":[227],"correctly":[228],"repaired":[229],"77":[230],"105":[232],"bugs":[233],"in":[234,255],"benchmarks,":[236],"respectively.":[237],"work":[239],"helps":[240],"reduce":[241],"effort":[243],"required":[244],"review":[246],"enabling":[249],"developers":[250],"assess":[252],"natural":[256],"language,":[257],"reviewing":[260],"patches.":[262]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}