{"id":"https://openalex.org/W4310514121","doi":"https://doi.org/10.1145/3567512.3567520","title":"Property-Based Testing: Climbing the Stairway to Verification","display_name":"Property-Based Testing: Climbing the Stairway to Verification","publication_year":2022,"publication_date":"2022-11-29","ids":{"openalex":"https://openalex.org/W4310514121","doi":"https://doi.org/10.1145/3567512.3567520"},"language":"en","primary_location":{"id":"doi:10.1145/3567512.3567520","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3567512.3567520","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM SIGPLAN International Conference on Software Language 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/A5101640934","display_name":"Zilin Chen","orcid":"https://orcid.org/0000-0003-0854-2464"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Zilin Chen","raw_affiliation_strings":["UNSW, Australia"],"affiliations":[{"raw_affiliation_string":"UNSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019489999","display_name":"Christine Rizkallah","orcid":"https://orcid.org/0000-0003-4785-2836"},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Christine Rizkallah","raw_affiliation_strings":["University of Melbourne, Australia"],"affiliations":[{"raw_affiliation_string":"University of Melbourne, Australia","institution_ids":["https://openalex.org/I165779595"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091677658","display_name":"Liam O\u2019Connor","orcid":"https://orcid.org/0000-0003-2765-4269"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Liam O'Connor","raw_affiliation_strings":["University of Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081918654","display_name":"Partha Susarla","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Partha Susarla","raw_affiliation_strings":["Independent, Australia"],"affiliations":[{"raw_affiliation_string":"Independent, Australia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056561099","display_name":"Gerwin Klein","orcid":"https://orcid.org/0000-0001-8883-0559"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gerwin Klein","raw_affiliation_strings":["Proofcraft, Australia / UNSW, Australia"],"affiliations":[{"raw_affiliation_string":"Proofcraft, Australia / UNSW, Australia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025750562","display_name":"Gernot Heiser","orcid":"https://orcid.org/0000-0002-7069-0831"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Gernot Heiser","raw_affiliation_strings":["UNSW, Australia"],"affiliations":[{"raw_affiliation_string":"UNSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089112216","display_name":"Gabriele Keller","orcid":"https://orcid.org/0000-0003-1442-5387"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Gabriele Keller","raw_affiliation_strings":["Utrecht University, Netherlands"],"affiliations":[{"raw_affiliation_string":"Utrecht University, Netherlands","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5101640934"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":null,"apc_paid":null,"fwci":1.2417,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.83215397,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"84","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8023698925971985},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7388874888420105},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6902170181274414},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6200373768806458},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5732401013374329},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5134118795394897},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4723803997039795},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.46207526326179504},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4538399875164032},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.41101229190826416},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3940577208995819},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.30938857793807983},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2923675775527954},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.1850210726261139}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8023698925971985},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7388874888420105},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6902170181274414},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6200373768806458},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5732401013374329},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5134118795394897},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4723803997039795},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.46207526326179504},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4538399875164032},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.41101229190826416},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3940577208995819},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.30938857793807983},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2923675775527954},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1850210726261139}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3567512.3567520","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3567512.3567520","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/424707","is_oa":false,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/424707","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SLE \u201922, December 06\u015b07, 2022, Auckland, New Zealand, 84. Association for Computing Machinery","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W87687620","https://openalex.org/W266135116","https://openalex.org/W1467852480","https://openalex.org/W1507441114","https://openalex.org/W1508641834","https://openalex.org/W1590150976","https://openalex.org/W1598338394","https://openalex.org/W1611541577","https://openalex.org/W2014021676","https://openalex.org/W2017441562","https://openalex.org/W2029976661","https://openalex.org/W2031872041","https://openalex.org/W2036560761","https://openalex.org/W2038814435","https://openalex.org/W2064948481","https://openalex.org/W2096425305","https://openalex.org/W2097889836","https://openalex.org/W2119296494","https://openalex.org/W2136310957","https://openalex.org/W2146530476","https://openalex.org/W2158763360","https://openalex.org/W2163347957","https://openalex.org/W2172359218","https://openalex.org/W2195119025","https://openalex.org/W2206900256","https://openalex.org/W2288908380","https://openalex.org/W2412986331","https://openalex.org/W2476059279","https://openalex.org/W2603912667","https://openalex.org/W2759114566","https://openalex.org/W2766220735","https://openalex.org/W2769582192","https://openalex.org/W2790446557","https://openalex.org/W2936157456","https://openalex.org/W3103850025","https://openalex.org/W3148098879","https://openalex.org/W4206730944","https://openalex.org/W4244488020","https://openalex.org/W4254136620","https://openalex.org/W4297699069","https://openalex.org/W4298072213"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2363848262","https://openalex.org/W2392047570","https://openalex.org/W4205300843","https://openalex.org/W4205924073","https://openalex.org/W2355428260","https://openalex.org/W3155012083","https://openalex.org/W1985271980","https://openalex.org/W2294399487","https://openalex.org/W2013077575"],"abstract_inverted_index":{"Property-based":[0],"testing":[1],"(PBT)":[2],"is":[3,8,100],"a":[4,58,103],"powerful":[5],"tool":[6],"that":[7,85,132],"widely":[9],"available":[10],"in":[11,32,42,74,88,144],"modern":[12],"programming":[13,54],"languages.":[14],"It":[15],"has":[16],"been":[17],"used":[18,31,87,143],"to":[19,37,72,80,136],"reduce":[20],"formal":[21,35,70,110],"software":[22],"verification":[23,36,50,71,90],"effort.":[24],"We":[25,127],"demonstrate":[26,139],"how":[27],"PBT":[28,47,68],"can":[29],"be":[30],"conjunction":[33],"with":[34,57],"incrementally":[38],"gain":[39],"greater":[40],"assurance":[41],"code":[43],"correctness":[44,105],"by":[45,102,149],"integrating":[46],"into":[48],"the":[49,78,82,96,109,113,118,122,125,129,140],"framework":[51],"of":[52,95,112,147],"Cogent---a":[53],"language":[55],"equipped":[56],"certifying":[59],"compiler":[60],"for":[61,67],"developing":[62],"high-assurance":[63],"systems":[64],"components.":[65],"Specifically,":[66],"and":[69,115,124,138],"work":[73],"tandem,":[75],"we":[76,86,116,142],"structure":[77],"tests":[79],"mirror":[81],"refinement":[83,119],"proof":[84],"Cogent's":[89],"framework:":[91],"The":[92],"expected":[93],"behaviour":[94],"system":[97],"under":[98],"test":[99,117],"captured":[101],"functional":[104],"specification,":[106],"which":[107],"mimics":[108],"specification":[111],"system,":[114],"relation":[120],"between":[121],"implementation":[123],"specification.":[126],"exhibit":[128],"additional":[130],"benefits":[131],"this":[133,145],"mutualism":[134],"brings":[135],"developers":[137],"techniques":[141],"style":[146],"PBT,":[148],"studying":[150],"two":[151],"concrete":[152],"examples.":[153]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}