{"id":"https://openalex.org/W2740646481","doi":"https://doi.org/10.1145/3106237.3106309","title":"S3: syntax- and semantic-guided repair synthesis via programming by examples","display_name":"S3: syntax- and semantic-guided repair synthesis via programming by examples","publication_year":2017,"publication_date":"2017-08-02","ids":{"openalex":"https://openalex.org/W2740646481","doi":"https://doi.org/10.1145/3106237.3106309","mag":"2740646481"},"language":"en","primary_location":{"id":"doi:10.1145/3106237.3106309","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106237.3106309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 11th Joint Meeting on Foundations of 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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042378793","display_name":"Duc-Hiep Chu","orcid":null},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Duc-Hiep Chu","raw_affiliation_strings":["IST Austria, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"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":false,"raw_author_name":"David Lo","raw_affiliation_strings":["Singapore Management University, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","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, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Willem Visser","raw_affiliation_strings":["Stellenbosch University, South Africa"],"affiliations":[{"raw_affiliation_string":"Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I26092322"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5075260906"],"corresponding_institution_ids":["https://openalex.org/I79891267"],"apc_list":null,"apc_paid":null,"fwci":55.1376,"has_fulltext":false,"cited_by_count":223,"citation_normalized_percentile":{"value":0.99864614,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"593","last_page":"604"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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/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.9997000098228455,"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.8243739604949951},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6910457015037537},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.595425009727478},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5719237327575684},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.5668336153030396},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.5010635852813721},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4770047962665558},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.470339834690094},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4273628890514374},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38770073652267456},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.328870952129364},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21163347363471985}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8243739604949951},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6910457015037537},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.595425009727478},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5719237327575684},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.5668336153030396},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.5010635852813721},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4770047962665558},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.470339834690094},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4273628890514374},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38770073652267456},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.328870952129364},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21163347363471985},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3106237.3106309","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106237.3106309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-4919","is_oa":false,"landing_page_url":"https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=4919&context=sis_research","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1145/3106237.3106309","raw_type":"Conference Proceeding Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W841012168","https://openalex.org/W1475493299","https://openalex.org/W1912569824","https://openalex.org/W1977696633","https://openalex.org/W1997199152","https://openalex.org/W2016027000","https://openalex.org/W2019730517","https://openalex.org/W2060333670","https://openalex.org/W2061575154","https://openalex.org/W2063387237","https://openalex.org/W2065489029","https://openalex.org/W2076719273","https://openalex.org/W2078988604","https://openalex.org/W2094878426","https://openalex.org/W2096003418","https://openalex.org/W2110908283","https://openalex.org/W2119236311","https://openalex.org/W2122947685","https://openalex.org/W2128782367","https://openalex.org/W2132525863","https://openalex.org/W2134734244","https://openalex.org/W2139885493","https://openalex.org/W2144951274","https://openalex.org/W2145124323","https://openalex.org/W2145373440","https://openalex.org/W2153418968","https://openalex.org/W2153881107","https://openalex.org/W2156723666","https://openalex.org/W2240307463","https://openalex.org/W2248392824","https://openalex.org/W2272835211","https://openalex.org/W2274071363","https://openalex.org/W2288083000","https://openalex.org/W2288434693","https://openalex.org/W2293101314","https://openalex.org/W2296178404","https://openalex.org/W2344973853","https://openalex.org/W2373227884","https://openalex.org/W2400994325","https://openalex.org/W2486590439","https://openalex.org/W2517560433","https://openalex.org/W2518136680","https://openalex.org/W2548997977","https://openalex.org/W2571744281","https://openalex.org/W2574841074","https://openalex.org/W2603456259","https://openalex.org/W2725922920","https://openalex.org/W2735107749","https://openalex.org/W2963058168","https://openalex.org/W4256244129"],"related_works":["https://openalex.org/W2381242807","https://openalex.org/W2751208925","https://openalex.org/W2347541121","https://openalex.org/W4288804799","https://openalex.org/W3089617106","https://openalex.org/W3032237421","https://openalex.org/W2080951048","https://openalex.org/W3166784586","https://openalex.org/W101909103","https://openalex.org/W3034311462"],"abstract_inverted_index":{"A":[0,116,145],"notable":[1],"class":[2],"of":[3,52,61,147,153,198],"techniques":[4],"for":[5],"automatic":[6],"program":[7,26],"repair":[8,83,170],"is":[9,113],"known":[10],"as":[11],"semantics-based.":[12],"Such":[13],"techniques,":[14],"e.g.,":[15],"Angelix,":[16,176],"infer":[17],"semantic":[18,157],"specifications":[19,40,71],"via":[20,127],"symbolic":[21],"execution,":[22],"and":[23,121,143,156,162,178,183,204],"then":[24],"use":[25],"synthesis":[27,46,84,174],"to":[28,90,102,108,119],"construct":[29],"new":[30,82],"code":[31],"that":[32,65,73,86,99],"satisfies":[33],"those":[34],"inferred":[35],"specifications.":[36],"However,":[37],"the":[38,45,69,104,123,139,154,163,193],"obtained":[39],"are":[41,66],"naturally":[42],"incomplete,":[43],"leaving":[44],"engine":[47,85],"with":[48,68,172],"a":[49,54,58,81,128],"difficult":[50],"task":[51],"synthesizing":[53],"general":[55,111],"solution":[56],"from":[57],"sparse":[59,105],"space":[60,107,126],"many":[62],"possible":[63],"solutions":[64,161],"consistent":[67],"provided":[70],"but":[72],"do":[74],"not":[75],"necessarily":[76],"generalize.":[77],"We":[78,167],"present":[79],"S3,":[80],"leverages":[87],"programming-by-examples":[88],"methodology":[89],"synthesize":[91],"high-quality":[92],"bug":[93],"repairs.":[94],"The":[95],"novelty":[96],"in":[97,201,207],"S3":[98,180],"allows":[100],"it":[101],"tackle":[103],"search":[106,125,136,141],"create":[109],"more":[110,190],"repairs":[112],"three-fold:":[114],"(1)":[115],"systematic":[117],"way":[118],"customize":[120],"constrain":[122],"syntactic":[124,155],"domain-specific":[129],"language,":[130],"(2)":[131],"An":[132],"efficient":[133],"enumeration-":[134],"based":[135,150],"strategy":[137],"over":[138],"constrained":[140],"space,":[142],"(3)":[144],"number":[146],"ranking":[148],"features":[149],"on":[151,196],"measures":[152],"distances":[158],"between":[159],"candidate":[160],"original":[164],"buggy":[165],"program.":[166],"compare":[168],"S3\u2019s":[169],"effectiveness":[171],"state-of-the-art":[173],"engines":[175],"Enumerative,":[177],"CVC4.":[179],"can":[181],"successfully":[182],"correctly":[184],"fix":[185],"at":[186],"least":[187],"three":[188],"times":[189],"bugs":[191,200,206],"than":[192],"best":[194],"baseline":[195],"datasets":[197],"52":[199],"small":[202],"programs,":[203],"100":[205],"real-world":[208],"large":[209],"programs.":[210]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":22},{"year":2024,"cited_by_count":28},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":24},{"year":2021,"cited_by_count":26},{"year":2020,"cited_by_count":33},{"year":2019,"cited_by_count":38},{"year":2018,"cited_by_count":31},{"year":2017,"cited_by_count":7}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}