{"id":"https://openalex.org/W4400484724","doi":"https://doi.org/10.1145/3663529.3663789","title":"Execution-Free Program Repair","display_name":"Execution-Free Program Repair","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W4400484724","doi":"https://doi.org/10.1145/3663529.3663789"},"language":"en","primary_location":{"id":"doi:10.1145/3663529.3663789","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3663529.3663789","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100494937","display_name":"Li Huang","orcid":"https://orcid.org/0000-0003-3531-4045"},"institutions":[{"id":"https://openalex.org/I4210120065","display_name":"Kantonsschule Schaffhausen","ror":"https://ror.org/02vzx1287","country_code":"CH","type":"education","lineage":["https://openalex.org/I4210120065"]},{"id":"https://openalex.org/I4399657974","display_name":"Constructor Institute","ror":"https://ror.org/02f3v7194","country_code":null,"type":"education","lineage":["https://openalex.org/I4399657974"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Li Huang","raw_affiliation_strings":["Constructor Institute, Schaffhausen, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-3531-4045","affiliations":[{"raw_affiliation_string":"Constructor Institute, Schaffhausen, Switzerland","institution_ids":["https://openalex.org/I4210120065","https://openalex.org/I4399657974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073925128","display_name":"Bertrand Meyer","orcid":"https://orcid.org/0000-0002-5985-7434"},"institutions":[{"id":"https://openalex.org/I4210120065","display_name":"Kantonsschule Schaffhausen","ror":"https://ror.org/02vzx1287","country_code":"CH","type":"education","lineage":["https://openalex.org/I4210120065"]},{"id":"https://openalex.org/I4399657974","display_name":"Constructor Institute","ror":"https://ror.org/02f3v7194","country_code":null,"type":"education","lineage":["https://openalex.org/I4399657974"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Bertrand Meyer","raw_affiliation_strings":["Constructor Institute, Schaffhausen, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-5985-7434","affiliations":[{"raw_affiliation_string":"Constructor Institute, Schaffhausen, Switzerland","institution_ids":["https://openalex.org/I4210120065","https://openalex.org/I4399657974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058464786","display_name":"Ilgiz Mustafin","orcid":"https://orcid.org/0009-0007-0476-5966"},"institutions":[{"id":"https://openalex.org/I4210120065","display_name":"Kantonsschule Schaffhausen","ror":"https://ror.org/02vzx1287","country_code":"CH","type":"education","lineage":["https://openalex.org/I4210120065"]},{"id":"https://openalex.org/I4399657974","display_name":"Constructor Institute","ror":"https://ror.org/02f3v7194","country_code":null,"type":"education","lineage":["https://openalex.org/I4399657974"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Ilgiz Mustafin","raw_affiliation_strings":["Constructor Institute, Schaffhausen, Switzerland"],"raw_orcid":"https://orcid.org/0009-0007-0476-5966","affiliations":[{"raw_affiliation_string":"Constructor Institute, Schaffhausen, Switzerland","institution_ids":["https://openalex.org/I4210120065","https://openalex.org/I4399657974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037114133","display_name":"Manuel Oriol","orcid":"https://orcid.org/0000-0003-4069-7626"},"institutions":[{"id":"https://openalex.org/I4210120065","display_name":"Kantonsschule Schaffhausen","ror":"https://ror.org/02vzx1287","country_code":"CH","type":"education","lineage":["https://openalex.org/I4210120065"]},{"id":"https://openalex.org/I4399657974","display_name":"Constructor Institute","ror":"https://ror.org/02f3v7194","country_code":null,"type":"education","lineage":["https://openalex.org/I4399657974"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Manuel Oriol","raw_affiliation_strings":["Constructor Institute, Schaffhausen, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-4069-7626","affiliations":[{"raw_affiliation_string":"Constructor Institute, Schaffhausen, Switzerland","institution_ids":["https://openalex.org/I4210120065","https://openalex.org/I4399657974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5308,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.629683,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"517","last_page":"521"},"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.9993000030517578,"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.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6472100615501404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6472100615501404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3663529.3663789","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3663529.3663789","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1986544324","https://openalex.org/W2145373440","https://openalex.org/W2344973853","https://openalex.org/W2767431443","https://openalex.org/W2909089478","https://openalex.org/W3023843306","https://openalex.org/W4253481599","https://openalex.org/W4288614128"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Automatic":[0],"program":[1,58,70],"repair":[2],"usually":[3],"relies":[4],"heavily":[5],"on":[6,56],"test":[7,21],"cases":[8,22],"for":[9],"both":[10],"bug":[11],"identification":[12],"and":[13,30,48,79],"fix":[14,33],"validation.":[15],"The":[16,41],"issue":[17],"is":[18,23,52],"that":[19,75],"writing":[20],"tedious,":[24],"running":[25],"them":[26],"takes":[27],"much":[28],"time,":[29],"validating":[31],"a":[32,57],"through":[34],"tests":[35,65],"does":[36],"not":[37],"guarantee":[38],"its":[39],"correctness.":[40],"novel":[42],"idea":[43],"in":[44],"the":[45,61,69],"Proof2Fix":[46,76],"methodology":[47],"tool":[49],"presented":[50],"here":[51],"to":[53,63,67],"rely":[54],"instead":[55],"prover,":[59],"without":[60],"need":[62],"run":[64,68],"or":[66],"at":[71],"all.":[72],"Results":[73],"show":[74],"automatically":[77],"finds":[78],"fixes":[80],"significant":[81],"historical":[82],"bugs":[83]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-27T14:10:00.468798","created_date":"2025-10-10T00:00:00"}