{"id":"https://openalex.org/W2808787928","doi":"https://doi.org/10.1145/3183440.3194999","title":"Automated program repair with canonical constraints","display_name":"Automated program repair with canonical constraints","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2808787928","doi":"https://doi.org/10.1145/3183440.3194999","mag":"2808787928"},"language":"en","primary_location":{"id":"doi:10.1145/3183440.3194999","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3183440.3194999","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3194999","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3194999","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079062994","display_name":"Andrew Hill","orcid":"https://orcid.org/0000-0001-5468-6616"},"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":"Andrew Hill","raw_affiliation_strings":["North Carolina State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"North Carolina State University","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"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":"Corina S. P\u0103s\u0103reanu","raw_affiliation_strings":["Carnegie Mellon University CyLab and NASA Ames"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University CyLab and NASA Ames","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050283470","display_name":"Kathryn T. Stolee","orcid":"https://orcid.org/0000-0003-0584-7094"},"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":"Kathryn T. Stolee","raw_affiliation_strings":["North Carolina State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"North Carolina State University","institution_ids":["https://openalex.org/I137902535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7147,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.67109145,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"339","last_page":"341"},"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/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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9976000189781189,"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.5828154683113098},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4164756238460541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5828154683113098},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4164756238460541}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3183440.3194999","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3183440.3194999","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3194999","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3183440.3194999","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3183440.3194999","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3183440.3194999","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2625101776","display_name":"EAGER: Collaborative Research: Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications","funder_award_id":"1549161","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4899677774","display_name":"BSF:2012259:Circular compositional reasoning by learning and abstraction-refinement","funder_award_id":"1329278","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5258697918","display_name":"SHF: Medium: Collaborative Research: Semi and Fully Automated Program Repair and Synthesis via Semantic Code Search","funder_award_id":"1645136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2808787928.pdf","grobid_xml":"https://content.openalex.org/works/W2808787928.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1475493299","https://openalex.org/W1977696633","https://openalex.org/W1990880047","https://openalex.org/W1991292921","https://openalex.org/W2016027000","https://openalex.org/W2019730517","https://openalex.org/W2029726540","https://openalex.org/W2060333670","https://openalex.org/W2061575154","https://openalex.org/W2076719273","https://openalex.org/W2078988604","https://openalex.org/W2101819268","https://openalex.org/W2144575244","https://openalex.org/W2145373440","https://openalex.org/W2272835211","https://openalex.org/W2373227884","https://openalex.org/W2731046769","https://openalex.org/W2735107749","https://openalex.org/W2767951593","https://openalex.org/W4253813365"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Automated":[0],"program":[1,30,40],"repair":[2,41],"(APR)":[3],"seeks":[4],"to":[5,26,56,87,101,111],"improve":[6],"the":[7,11,53,73,84],"speed":[8],"and":[9,28,59,62,67,94,97],"decrease":[10],"cost":[12],"of":[13,52,69,116],"repairing":[14],"software":[15,70],"bugs.":[16],"Existing":[17],"APR":[18],"approaches":[19],"use":[20],"unit":[21],"tests":[22],"or":[23],"constraint":[24,77],"solving":[25],"find":[27],"validate":[29],"patches.":[31,120],"We":[32],"propose":[33],"Canonical":[34],"Search":[35],"And":[36],"Repair":[37],"(CSAR),":[38],"a":[39,49,99,113],"technique":[42],"based":[43],"on":[44],"semantic":[45,90],"search":[46],"which":[47,105],"uses":[48,80,98],"canonical":[50,85],"form":[51],"path":[54],"conditions":[55],"characterize":[57],"buggy":[58,95],"patch":[60],"code":[61,96],"allows":[63],"for":[64,75],"easy":[65],"storage":[66],"retrieval":[68],"patches,":[71],"without":[72],"need":[74],"expensive":[76],"solving.":[78],"CSAR":[79],"string":[81],"metrics":[82],"over":[83],"forms":[86],"cheaply":[88],"measure":[89],"distance":[91],"between":[92,118],"patches":[93],"classifier":[100],"identify":[102],"situations":[103],"in":[104],"test":[106],"suite":[107],"executions":[108],"are":[109],"unnecessary-and":[110],"provide":[112],"finer-grained":[114],"means":[115],"differentiating":[117],"potential":[119]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}