{"id":"https://openalex.org/W2514893568","doi":"https://doi.org/10.1145/2970276.2975934","title":"Towards efficient and effective automatic program repair","display_name":"Towards efficient and effective automatic program repair","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2514893568","doi":"https://doi.org/10.1145/2970276.2975934","mag":"2514893568"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2975934","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2975934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","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/A5075260906","display_name":"Xuan-Bach D. Le","orcid":"https://orcid.org/0000-0001-5044-1582"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Xuan-Bach D. Le","raw_affiliation_strings":["Singapore Management University, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5075260906"],"corresponding_institution_ids":["https://openalex.org/I79891267"],"apc_list":null,"apc_paid":null,"fwci":4.586,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.951417,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"876","last_page":"879"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.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/T12423","display_name":"Software Reliability and Analysis Research","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7372431755065918},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6065801382064819},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5892573595046997},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5306987166404724},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.5162360668182373},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.4926033616065979},{"id":"https://openalex.org/keywords/overfitting","display_name":"Overfitting","score":0.45019957423210144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39487096667289734},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3668559789657593},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3458540141582489}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7372431755065918},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6065801382064819},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5892573595046997},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5306987166404724},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.5162360668182373},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.4926033616065979},{"id":"https://openalex.org/C22019652","wikidata":"https://www.wikidata.org/wiki/Q331309","display_name":"Overfitting","level":3,"score":0.45019957423210144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39487096667289734},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3668559789657593},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3458540141582489},{"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/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2975934","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2975934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W55237053","https://openalex.org/W979215280","https://openalex.org/W1480662610","https://openalex.org/W2016027000","https://openalex.org/W2019730517","https://openalex.org/W2025772870","https://openalex.org/W2025791343","https://openalex.org/W2039052699","https://openalex.org/W2047165792","https://openalex.org/W2061575154","https://openalex.org/W2076719273","https://openalex.org/W2127577307","https://openalex.org/W2137628566","https://openalex.org/W2139410856","https://openalex.org/W2144575244","https://openalex.org/W2145373440","https://openalex.org/W2153881107","https://openalex.org/W2155479707","https://openalex.org/W2156723666","https://openalex.org/W2166336492","https://openalex.org/W2240307463","https://openalex.org/W2274071363","https://openalex.org/W2288083000","https://openalex.org/W2373227884","https://openalex.org/W2399923814","https://openalex.org/W2400994325","https://openalex.org/W2571744281","https://openalex.org/W2574841074","https://openalex.org/W2911462334","https://openalex.org/W4243386325","https://openalex.org/W6628818046","https://openalex.org/W6674236629"],"related_works":["https://openalex.org/W2377402383","https://openalex.org/W2380835401","https://openalex.org/W2381912691","https://openalex.org/W2350381577","https://openalex.org/W2353618196","https://openalex.org/W4362597605","https://openalex.org/W1574414179","https://openalex.org/W2348074676","https://openalex.org/W2980586481","https://openalex.org/W2147976636"],"abstract_inverted_index":{"Automatic":[0],"Program":[1],"Repair":[2],"(APR)":[3],"has":[4],"recently":[5],"been":[6],"an":[7,12,272],"emerging":[8],"research":[9],"area,":[10],"addressing":[11],"important":[13],"challenge":[14],"in":[15,113,150,171,179,277],"software":[16,29],"engi-":[17],"neering.":[18],"APR":[19,35,50,57,81,116,128,143,174,211,273,290],"techniques,":[20],"if":[21],"effective":[22,276],"and":[23,31,48,69,87,96,138,168,243,297,309],"efficient":[24],",":[25],"can":[26,38],"greatly":[27],"help":[28],"debugging":[30],"maintenance.":[32],"Recently":[33],"proposed":[34],"tech-":[36,291],"niques":[37],"be":[39,130,146,176],"generally":[40],"classified":[41],"into":[42],"two":[43],"families,":[44],"namely":[45],"search-":[46,55],"based":[47,56],"semantics-based":[49,127,244],"methods.":[51],"To":[52,182],"produce":[53],"repairs,":[54],"techniques":[58,82,262],"generate":[59],"huge":[60],"populations":[61],"of":[62,135,229,255,301],"possible":[63],"re-":[64],"pairs,":[65],"i.e.,":[66],"search":[67,71,78,92,120,199,217],"space,":[68,200,218],"lazily":[70],"for":[72,173,196,207,312],"the":[73,77,126,192,198,216,227,248,253,282,299],"best":[74],"one":[75],"among":[76],"space.":[79],"Semantics-based":[80],"utilize":[83],"con-":[84,104],"straint":[85],"solving":[86,137],"program":[88,139,310],"synthesis":[89,311],"to":[90,102,148,157,175,213,225,246,263,286],"make":[91],"space":[93,121],"more":[94],"tractable,":[95],"find":[97],"those":[98],"repairs":[99,153],"that":[100,240,268],"conform":[101],"semantics":[103],"straints":[105],"extracted":[106],"via":[107],"symbolic":[108],"execution.":[109],"Despite":[110],"recent":[111],"advances":[112,300],"APR,":[114],"search-based":[115,210,242],"still":[117],"suffers":[118],"from":[119],"explo-":[122],"sion":[123],"problem,":[124],"while":[125,251],"could":[129],"hindered":[131],"by":[132],"limited":[133],"capability":[134],"constraint":[136],"synthesis.":[140],"Furthermore,":[141],"both":[142,166],"families":[144],"may":[145],"subject":[147],"overfitting,":[149],"which":[151],"generated":[152,256],"do":[154],"not":[155],"generalize":[156],"other":[158,186,302],"test":[159,189,306],"sets.":[160],"This":[161],"thesis":[162],"works":[163],"towards":[164],"enhancing":[165],"effectiveness":[167],"ef-":[169],"ficiency":[170],"order":[172],"practically":[177],"adopted":[178],"foreseeable":[180],"future.":[181],"achieve":[183],"this":[184],"goal,":[185],"than":[187],"using":[188],"cases":[190],"as":[191,305],"pri-":[193],"mary":[194],"criteria":[195],"traversing":[197],"we":[201,284],"designed":[202],"a":[203,208,235,265],"new":[204,209],"feature":[205],"used":[206,224],"technique":[212,239,274],"effectively":[214],"traverse":[215],"wherein":[219],"bug":[220],"fix":[221],"history":[222],"is":[223,275],"evaluate":[226],"quality":[228],"repair":[230,238,249],"candidates.":[231],"We":[232,258],"also":[233,259],"developed":[234],"deductive-":[236],"reasoning-based":[237],"combines":[241],"approaches":[245],"enhance":[247],"capability,":[250],"ensuring":[252],"soundness":[254],"repairs.":[257],"leveraged":[260],"machine-learning":[261],"build":[264],"predictive":[266,295],"model":[267],"pre-":[269],"dicts":[270],"whether":[271],"fixing":[278],"particular":[279],"bugs.":[280],"In":[281],"future,":[283],"plan":[285],"synergize":[287],"many":[288],"existing":[289],"niques,":[292],"improve":[293],"our":[294],"model,":[296],"adopt":[298],"fields":[303],"such":[304],"case":[307],"generation":[308],"APR.":[313]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}