{"id":"https://openalex.org/W2144540268","doi":"https://doi.org/10.1007/s10703-015-0223-6","title":"Program repair without regret","display_name":"Program repair without regret","publication_year":2015,"publication_date":"2015-02-23","ids":{"openalex":"https://openalex.org/W2144540268","doi":"https://doi.org/10.1007/s10703-015-0223-6","mag":"2144540268"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-015-0223-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-015-0223-6","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/handle/20.500.14299/176106","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077741039","display_name":"Christian von Essen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210100430","display_name":"Google (Switzerland)","ror":"https://ror.org/014f9c269","country_code":"CH","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210100430","https://openalex.org/I4210128969"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Christian von Essen","raw_affiliation_strings":["Google Zurich, Zurich, Switzerland","Google, Zurich, Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"Google Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I4210100430"]},{"raw_affiliation_string":"Google, Zurich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I4210100430"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076775867","display_name":"Barbara Jobstmann","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Barbara Jobstmann","raw_affiliation_strings":["EPFL, Lausanne, Switzerland","EPFL. Lausanne,Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL. Lausanne,Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077741039"],"corresponding_institution_ids":["https://openalex.org/I4210100430"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":2.2915,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.8796023,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"47","issue":"1","first_page":"26","last_page":"50"},"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.9994000196456909,"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.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9973999857902527,"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/novelty","display_name":"Novelty","score":0.7337390780448914},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7201255559921265},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6821824312210083},{"id":"https://openalex.org/keywords/regret","display_name":"Regret","score":0.6424107551574707},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.4547615945339203},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45041438937187195},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.42271688580513},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3975498378276825},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3398066759109497},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10527566075325012}],"concepts":[{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.7337390780448914},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7201255559921265},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6821824312210083},{"id":"https://openalex.org/C50817715","wikidata":"https://www.wikidata.org/wiki/Q79895177","display_name":"Regret","level":2,"score":0.6424107551574707},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.4547615945339203},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45041438937187195},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.42271688580513},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3975498378276825},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3398066759109497},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10527566075325012},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10703-015-0223-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-015-0223-6","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.epfl.ch:213899","is_oa":false,"landing_page_url":"http://infoscience.epfl.ch/record/213899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.epfl.ch:283987","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/176106","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"research article"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:283987","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/176106","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"research article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W69261358","https://openalex.org/W105067921","https://openalex.org/W202802469","https://openalex.org/W1489391022","https://openalex.org/W1501731334","https://openalex.org/W1511405608","https://openalex.org/W1521551618","https://openalex.org/W1523041988","https://openalex.org/W1528149868","https://openalex.org/W1560374668","https://openalex.org/W1593428110","https://openalex.org/W1782528461","https://openalex.org/W1791573659","https://openalex.org/W1872701416","https://openalex.org/W1927382928","https://openalex.org/W1968404090","https://openalex.org/W1975458495","https://openalex.org/W1983791345","https://openalex.org/W1993529189","https://openalex.org/W1997199152","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2024958639","https://openalex.org/W2031592188","https://openalex.org/W2034797990","https://openalex.org/W2035171786","https://openalex.org/W2035668577","https://openalex.org/W2042813319","https://openalex.org/W2086440639","https://openalex.org/W2090398333","https://openalex.org/W2094878426","https://openalex.org/W2100112273","https://openalex.org/W2107552120","https://openalex.org/W2119567691","https://openalex.org/W2122735631","https://openalex.org/W2125267391","https://openalex.org/W2138467892","https://openalex.org/W2158870716","https://openalex.org/W2162535172","https://openalex.org/W2162583406","https://openalex.org/W2165726630","https://openalex.org/W2166007208","https://openalex.org/W2168850343","https://openalex.org/W2170224888","https://openalex.org/W2296178404","https://openalex.org/W2319440520","https://openalex.org/W2334782222","https://openalex.org/W2914665807","https://openalex.org/W2914759716","https://openalex.org/W2952908521","https://openalex.org/W3005462739","https://openalex.org/W3122950708","https://openalex.org/W3152004042","https://openalex.org/W3216885170","https://openalex.org/W4212901716","https://openalex.org/W4241947695","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2971351794","https://openalex.org/W4376155396","https://openalex.org/W1947085858","https://openalex.org/W2101991911","https://openalex.org/W2174986909","https://openalex.org/W2527791220","https://openalex.org/W2155070487","https://openalex.org/W1602413278","https://openalex.org/W1528423264","https://openalex.org/W2139185130"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}