{"id":"https://openalex.org/W3212197305","doi":"https://doi.org/10.1109/tse.2021.3124323","title":"Trident: Controlling Side Effects in Automated Program Repair","display_name":"Trident: Controlling Side Effects in Automated Program Repair","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3212197305","doi":"https://doi.org/10.1109/tse.2021.3124323","mag":"3212197305"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2021.3124323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3124323","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5008208151","display_name":"Nikhil Parasaram","orcid":null},"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"]},{"id":"https://openalex.org/I4210144746","display_name":"The London College","ror":"https://ror.org/0546ajs61","country_code":"GB","type":"education","lineage":["https://openalex.org/I4210144746"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Nikhil Parasaram","raw_affiliation_strings":["Computer Science, University College London, 4919 London, London, United Kingdom of Great Britain and Northern Ireland, (e-mail: nikhil.parasaram.19@ucl.ac.uk)"],"affiliations":[{"raw_affiliation_string":"Computer Science, University College London, 4919 London, London, United Kingdom of Great Britain and Northern Ireland, (e-mail: nikhil.parasaram.19@ucl.ac.uk)","institution_ids":["https://openalex.org/I4210144746","https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076587279","display_name":"Earl T. Barr","orcid":"https://orcid.org/0000-0003-0771-7891"},"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":false,"raw_author_name":"Earl T. Barr","raw_affiliation_strings":["Computer Science, University College London, London, London, United Kingdom of Great Britain and Northern Ireland, WC1E 6BT (e-mail: e.barr@ucl.ac.uk)"],"affiliations":[{"raw_affiliation_string":"Computer Science, University College London, London, London, United Kingdom of Great Britain and Northern Ireland, WC1E 6BT (e-mail: e.barr@ucl.ac.uk)","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011184280","display_name":"Sergey Mechtaev","orcid":"https://orcid.org/0000-0001-6088-4993"},"institutions":[{"id":"https://openalex.org/I4210144746","display_name":"The London College","ror":"https://ror.org/0546ajs61","country_code":"GB","type":"education","lineage":["https://openalex.org/I4210144746"]},{"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":false,"raw_author_name":"Sergey Mechtaev","raw_affiliation_strings":["Computer Science, University College London, 4919 London, London, United Kingdom of Great Britain and Northern Ireland, (e-mail: mechtaev@gmail.com)"],"affiliations":[{"raw_affiliation_string":"Computer Science, University College London, 4919 London, London, United Kingdom of Great Britain and Northern Ireland, (e-mail: mechtaev@gmail.com)","institution_ids":["https://openalex.org/I4210144746","https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008208151"],"corresponding_institution_ids":["https://openalex.org/I4210144746","https://openalex.org/I45129253"],"apc_list":null,"apc_paid":null,"fwci":0.9495,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77376277,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/trident","display_name":"Trident","score":0.8500294089317322},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8065997362136841},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6878028512001038},{"id":"https://openalex.org/keywords/overfitting","display_name":"Overfitting","score":0.5927865505218506},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.554573655128479},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5073508620262146},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4719204902648926},{"id":"https://openalex.org/keywords/side-effect","display_name":"Side effect (computer science)","score":0.45255246758461},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3059830069541931},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22473880648612976}],"concepts":[{"id":"https://openalex.org/C2777909563","wikidata":"https://www.wikidata.org/wiki/Q271628","display_name":"Trident","level":2,"score":0.8500294089317322},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8065997362136841},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6878028512001038},{"id":"https://openalex.org/C22019652","wikidata":"https://www.wikidata.org/wiki/Q331309","display_name":"Overfitting","level":3,"score":0.5927865505218506},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.554573655128479},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5073508620262146},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4719204902648926},{"id":"https://openalex.org/C3454156","wikidata":"https://www.wikidata.org/wiki/Q1144241","display_name":"Side effect (computer science)","level":2,"score":0.45255246758461},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3059830069541931},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22473880648612976},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2021.3124323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3124323","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10139105","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10139105/","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":"   IEEE Transactions on Software Engineering , 48  (12)   pp. 4717-4732.   (2022)      ","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W841012168","https://openalex.org/W1481397690","https://openalex.org/W1710734607","https://openalex.org/W1977696633","https://openalex.org/W2024092308","https://openalex.org/W2025791343","https://openalex.org/W2060333670","https://openalex.org/W2061575154","https://openalex.org/W2063387237","https://openalex.org/W2094878426","https://openalex.org/W2128953477","https://openalex.org/W2134734244","https://openalex.org/W2136601052","https://openalex.org/W2153418968","https://openalex.org/W2171469152","https://openalex.org/W2274071363","https://openalex.org/W2288083000","https://openalex.org/W2344973853","https://openalex.org/W2373227884","https://openalex.org/W2486590439","https://openalex.org/W2518136680","https://openalex.org/W2620986014","https://openalex.org/W2736762043","https://openalex.org/W2740264376","https://openalex.org/W2740646481","https://openalex.org/W2741328617","https://openalex.org/W2741495767","https://openalex.org/W2763166759","https://openalex.org/W2787871251","https://openalex.org/W2791415964","https://openalex.org/W2795030435","https://openalex.org/W2795338679","https://openalex.org/W2867448323","https://openalex.org/W2883187296","https://openalex.org/W2895570420","https://openalex.org/W2898869867","https://openalex.org/W2907705732","https://openalex.org/W2943810095","https://openalex.org/W2958228760","https://openalex.org/W2960756002","https://openalex.org/W2972704946","https://openalex.org/W2998011150","https://openalex.org/W3000617142","https://openalex.org/W3008276449","https://openalex.org/W3098154879","https://openalex.org/W3100698844","https://openalex.org/W3103170042","https://openalex.org/W3119757231","https://openalex.org/W3134686229","https://openalex.org/W3161027892","https://openalex.org/W3170092793","https://openalex.org/W4231241365","https://openalex.org/W4244452926","https://openalex.org/W4255632703","https://openalex.org/W4256377773","https://openalex.org/W6637688222","https://openalex.org/W6738733302"],"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/W4230348452","https://openalex.org/W2490526372","https://openalex.org/W4376166922","https://openalex.org/W4378510483"],"abstract_inverted_index":{"The":[0,20],"goal":[1],"of":[2,22,91,126,136,184,197,204,252,269,284],"program":[3,13,49,87,108],"repair":[4,50,63,72,92,109],"is":[5,25],"to":[6,56,162,238,289],"eliminate":[7],"a":[8,11,46,53,89,124,142,152,168,266],"bug":[9],"in":[10,27,35,85],"given":[12],"by":[14,279],"automatically":[15],"modifying":[16],"its":[17],"source":[18],"code.":[19],"majority":[21],"real-world":[23],"software":[24],"written":[26],"imperative":[28,36],"programming":[29],"languages.":[30],"Each":[31],"function":[32],"or":[33,88,94,128],"expression":[34],"code":[37,82,206],"may":[38],"have":[39,52],"side":[40,58,69,77,115,163,208,236,258],"effects,":[41,209],"observable":[42],"effects":[43,78,116,237,259],"beyond":[44],"returning":[45],"value.":[47],"Existing":[48],"approaches":[51,64,73,230],"limited":[54],"ability":[55],"handle":[57],"effects.":[59,70,164],"Previous":[60],"test-driven":[61,107],"semantic":[62],"only":[65,79],"synthesise":[66],"patches":[67,75,113,147,234,254,286],"without":[68,117],"Heuristic":[71],"generate":[74],"with":[76,114,151,207,235,255],"if":[80],"suitable":[81],"fragments":[83],"exist":[84],"the":[86,105,120,181,219,239,249,256,261,282],"database":[90,125],"patterns,":[93,127],"can":[95,242],"be":[96],"derived":[97],"from":[98,287],"training":[99,129],"data.":[100,130],"This":[101],"work":[102],"introduces":[103],"Trident,":[104],"first":[106],"approach":[110,173],"that":[111,157,174,178,201,228,248,273],"synthesizes":[112],"relying":[118],"on":[119,133,180,189,218,265],"plastic":[121],"surgery":[122],"hypothesis,":[123],"Trident":[131,192,222],"relies":[132],"an":[134,187],"interplay":[135],"several":[137],"parts.":[138],"First,":[139],"it":[140,166],"infers":[141],"specification":[143],"for":[144],"synthesising":[145],"side-effected":[146],"using":[148],"symbolic":[149],"execution":[150],"custom":[153],"state":[154],"merging":[155],"strategy":[156,275],"alleviates":[158,260],"path":[159],"explosion":[160],"due":[161],"Second,":[165],"uses":[167],"novel":[169],"component-based":[170],"patch":[171],"synthesis":[172],"supports":[175],"lvalues,":[176],"values":[177],"appear":[179],"left-hand":[182],"sides":[183],"assignments.":[185],"In":[186],"evaluation":[188,264],"open-source":[190],"projects,":[191],"successfully":[193,223],"repaired":[194,224],"6":[195],"out":[196],"10":[198],"real":[199],"bugs":[200,227],"require":[202],"insertion":[203],"new":[205,226],"which":[210],"previous":[211,229],"techniques":[212],"do":[213],"not":[214],"therefore":[215],"repair.":[216],"Evaluated":[217],"ManyBugs":[220],"benchmark,":[221],"two":[225],"could":[231],"not.":[232],"Adding":[233],"search":[240],"space":[241],"exacerbate":[243],"test-overfitting.":[244],"We":[245],"experimentally":[246],"demonstrate":[247],"simple":[250],"heuristic":[251],"preferring":[253],"fewest":[257],"problem.":[262],"An":[263],"large":[267],"number":[268],"smaller":[270],"programs":[271],"shows":[272],"this":[274],"reduces":[276],"test-overfitting":[277],"caused":[278],"side-effects,":[280],"increasing":[281],"rate":[283],"correct":[285],"33.3%":[288],"58.3%.":[290]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}