{"id":"https://openalex.org/W4284666365","doi":"https://doi.org/10.1145/3510003.3510620","title":"PropR","display_name":"PropR","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4284666365","doi":"https://doi.org/10.1145/3510003.3510620"},"language":"en","primary_location":{"id":"doi:10.1145/3510003.3510620","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510003.3510620","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510620","source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","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":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510620","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011406645","display_name":"Matth\u00edas P\u00e1ll Gissurarson","orcid":"https://orcid.org/0000-0001-6693-8454"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Matth\u00edas P\u00e1ll Gissurarson","raw_affiliation_strings":["Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064405499","display_name":"Leonhard Applis","orcid":"https://orcid.org/0000-0002-4341-8840"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Leonhard Applis","raw_affiliation_strings":["TU Delft, Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Delft, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067127346","display_name":"Annibale Panichella","orcid":"https://orcid.org/0000-0002-7395-3588"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Annibale Panichella","raw_affiliation_strings":["TU Delft, Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Delft, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090401584","display_name":"Arie van Deursen","orcid":"https://orcid.org/0000-0003-4850-3312"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arie van Deursen","raw_affiliation_strings":["TU Delft, Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Delft, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082447666","display_name":"David Sands","orcid":"https://orcid.org/0000-0001-6221-0503"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"David Sands","raw_affiliation_strings":["Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1768","last_page":"1780"},"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.9987999796867371,"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.9986000061035156,"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/overfitting","display_name":"Overfitting","score":0.957853376865387},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.827552318572998},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6366944313049316},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.516049325466156},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4867246448993683},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4494011402130127},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.44583722949028015},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.4382402002811432},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.4334748387336731},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.41355717182159424},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3479011654853821},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.314278244972229},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25305116176605225},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1805180013179779},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.11585798859596252},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.09209951758384705}],"concepts":[{"id":"https://openalex.org/C22019652","wikidata":"https://www.wikidata.org/wiki/Q331309","display_name":"Overfitting","level":3,"score":0.957853376865387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.827552318572998},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6366944313049316},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.516049325466156},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4867246448993683},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4494011402130127},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.44583722949028015},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.4382402002811432},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.4334748387336731},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.41355717182159424},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3479011654853821},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.314278244972229},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25305116176605225},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1805180013179779},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.11585798859596252},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.09209951758384705},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3510003.3510620","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510003.3510620","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510620","source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","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":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:528211","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/528211","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:research.chalmers.se:531145","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/f047b0d7-0e2c-4442-8c42-c79c14a15809","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:tudelft.nl:uuid:442e4cce-37f5-4e7a-a633-badee05ae0e3","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:442e4cce-37f5-4e7a-a633-badee05ae0e3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"}],"best_oa_location":{"id":"doi:10.1145/3510003.3510620","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510003.3510620","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510620","source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","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":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321012","display_name":"Technische Universiteit Delft","ror":"https://ror.org/02e2c7k09"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4284666365.pdf","grobid_xml":"https://content.openalex.org/works/W4284666365.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W184219092","https://openalex.org/W566788094","https://openalex.org/W841012168","https://openalex.org/W1659842140","https://openalex.org/W1858945639","https://openalex.org/W1962482270","https://openalex.org/W1971650562","https://openalex.org/W1979866694","https://openalex.org/W2029726540","https://openalex.org/W2029976661","https://openalex.org/W2063387237","https://openalex.org/W2074789981","https://openalex.org/W2092145305","https://openalex.org/W2096455207","https://openalex.org/W2101432564","https://openalex.org/W2126811106","https://openalex.org/W2142741391","https://openalex.org/W2145373440","https://openalex.org/W2153881107","https://openalex.org/W2165663378","https://openalex.org/W2244826483","https://openalex.org/W2285839903","https://openalex.org/W2295532906","https://openalex.org/W2295923951","https://openalex.org/W2373227884","https://openalex.org/W2465133314","https://openalex.org/W2537787699","https://openalex.org/W2538848838","https://openalex.org/W2621059453","https://openalex.org/W2735571786","https://openalex.org/W2756993896","https://openalex.org/W2767766265","https://openalex.org/W2767951593","https://openalex.org/W2787871251","https://openalex.org/W2801076109","https://openalex.org/W2806892747","https://openalex.org/W2891612558","https://openalex.org/W2898319337","https://openalex.org/W2963546359","https://openalex.org/W2967591898","https://openalex.org/W2995341674","https://openalex.org/W3000617142","https://openalex.org/W3042590520","https://openalex.org/W3043761819","https://openalex.org/W3046976810","https://openalex.org/W3088927226","https://openalex.org/W3098154879","https://openalex.org/W3109017117","https://openalex.org/W3165666748","https://openalex.org/W3170092793","https://openalex.org/W4232188856","https://openalex.org/W4244488020","https://openalex.org/W4251988601","https://openalex.org/W6601250092","https://openalex.org/W6833780757"],"related_works":["https://openalex.org/W3090591275","https://openalex.org/W2735571786","https://openalex.org/W3105092369","https://openalex.org/W4281704574","https://openalex.org/W3114223219","https://openalex.org/W2069944787","https://openalex.org/W4243202646","https://openalex.org/W2733392061","https://openalex.org/W4389236635","https://openalex.org/W2404183746"],"abstract_inverted_index":{"Automatic":[0],"program":[1,75,146],"repair":[2,76,148],"(APR)":[3],"regularly":[4],"faces":[5],"the":[6,15,23,62,88,96,101,141,145],"challenge":[7],"of":[8,40,64,144,152],"overfitting":[9],"patches":[10,12,136,168],"---":[11],"that":[13,67,80,118],"pass":[14],"test":[16,156],"suite,":[17],"but":[18],"do":[19],"not":[20],"actually":[21],"address":[22,61],"problems":[24,143],"when":[25,106],"evaluated":[26],"manually.":[27],"Currently,":[28],"overfit":[29,128,135],"detection":[30],"requires":[31],"manual":[32],"inspection":[33],"or":[34,155,164],"an":[35,42],"oracle":[36],"making":[37],"quality":[38],"control":[39],"APR":[41,59,174],"expensive":[43],"task.":[44],"With":[45],"this":[46,160],"work,":[47],"we":[48,69],"want":[49],"to":[50,55,60,121,147,172],"introduce":[51],"properties":[52,119],"in":[53,150],"addition":[54],"unit":[56,108,131],"tests":[57],"for":[58,78],"problem":[63],"overfitting.":[65],"To":[66],"end,":[68],"design":[70],"and":[71,87,92,104,112,124],"implement":[72],"PropR,":[73],"a":[74,126,169],"tool":[77],"Haskell":[79,97],"leverages":[81],"both":[82],"property-based":[83,110],"testing":[84],"(via":[85],"QuickCheck)":[86],"rich":[89],"type":[90],"system":[91],"synthesis":[93],"offered":[94],"by":[95],"compiler.":[98],"We":[99,158],"compare":[100],"repair-ratio,":[102],"time-to-first-patch":[103],"overfitting-ratio":[105],"using":[107],"tests,":[109,111],"their":[113],"combination.":[114],"Our":[115],"results":[116,123],"show":[117],"lead":[120],"quicker":[122],"have":[125],"lower":[127],"ratio":[129],"than":[130],"tests.":[132],"The":[133],"created":[134],"provide":[137],"valuable":[138],"insight":[139],"into":[140,175],"underlying":[142],"(e.g.,":[149],"terms":[151],"fault":[153],"localization":[154],"quality).":[157],"consider":[159],"step":[161],"towards":[162],"fitter,":[163],"at":[165],"least":[166],"insightful,":[167],"critical":[170],"contribution":[171],"bring":[173],"developer":[176],"workflows.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2022-07-08T00:00:00"}