{"id":"https://openalex.org/W2102556208","doi":null,"title":"Property-based testing for functional programs","display_name":"Property-based testing for functional programs","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2102556208","mag":"2102556208"},"language":"en","primary_location":{"id":"pmh:oai:research.chalmers.se:136076","doi":null,"is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/136076","pdf_url":"https://research.chalmers.se/en/publication/136076","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,"listed_in":[],"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},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.chalmers.se/en/publication/136076","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075214611","display_name":"Nicholas Smallbone","orcid":"https://orcid.org/0000-0003-2880-6121","observed_orcids":["https://orcid.org/0000-0003-2880-6121"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nicholas Smallbone","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2880-6121","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5075214611"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9984999895095825,"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.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.00139999995008111,"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.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/property-based-testing","display_name":"property-based testing","score":1.0},{"id":"https://openalex.org/keywords/functional-programs","display_name":"functional programs","score":0.7900000214576721},{"id":"https://openalex.org/keywords/race-conditions","display_name":"race conditions","score":0.628000020980835},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang","score":0.949999988079071},{"id":"https://openalex.org/keywords/atomicity","display_name":"atomicity","score":0.6309999823570251},{"id":"https://openalex.org/keywords/test-driven-development","display_name":"test-driven development","score":0.9399999976158142},{"id":"https://openalex.org/keywords/automated-grading","display_name":"automated grading","score":0.5590000152587891},{"id":"https://openalex.org/keywords/black-box-testing","display_name":"black-box testing","score":0.7300000190734863},{"id":"https://openalex.org/keywords/test-effectiveness","display_name":"test effectiveness","score":0.4020000100135803}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.731048583984375},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.7183710336685181},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.7159432768821716},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.6549373865127563},{"id":"https://openalex.org/C24169984","wikidata":"https://www.wikidata.org/wiki/Q879969","display_name":"Black-box testing","level":5,"score":0.6419277787208557},{"id":"https://openalex.org/C80823478","wikidata":"https://www.wikidata.org/wiki/Q4493432","display_name":"Functional testing","level":3,"score":0.6382814645767212},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.6134726405143738},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.5858938694000244},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.571173369884491},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5662890672683716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5464930534362793},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.5383144021034241},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.5345173478126526},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.5333749055862427},{"id":"https://openalex.org/C158324730","wikidata":"https://www.wikidata.org/wiki/Q54862604","display_name":"Orthogonal array testing","level":5,"score":0.44293296337127686},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4368303716182709},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.424039751291275},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.42152905464172363},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.38683536648750305},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2628348469734192},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2194170355796814},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1839246153831482},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1615784466266632},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.14035537838935852},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.13351601362228394},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11719053983688354},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:research.chalmers.se:136076","doi":null,"is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/136076","pdf_url":"https://research.chalmers.se/en/publication/136076","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,"listed_in":[],"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:CiteSeerX.psu:10.1.1.723.8479","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.723.8479","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.chalmers.se/%7Enicsma/papers/lic.pdf","raw_type":"text"},{"id":"mag:2102556208","doi":null,"is_oa":false,"landing_page_url":"https://research.chalmers.se/publication/136076/file/136076_Fulltext.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:research.chalmers.se:136076","doi":null,"is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/136076","pdf_url":"https://research.chalmers.se/en/publication/136076","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,"listed_in":[],"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},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2102556208.pdf","grobid_xml":"https://content.openalex.org/works/W2102556208.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W32942804","https://openalex.org/W184339100","https://openalex.org/W1499326305","https://openalex.org/W1508259349","https://openalex.org/W1521014576","https://openalex.org/W1887412317","https://openalex.org/W1964416677","https://openalex.org/W1978899117","https://openalex.org/W1987902506","https://openalex.org/W1992602600","https://openalex.org/W2015121269","https://openalex.org/W2016320988","https://openalex.org/W2020435908","https://openalex.org/W2024291102","https://openalex.org/W2026453487","https://openalex.org/W2030358379","https://openalex.org/W2036017480","https://openalex.org/W2054739713","https://openalex.org/W2089241138","https://openalex.org/W2097414162","https://openalex.org/W2101161997","https://openalex.org/W2105045857","https://openalex.org/W2107775928","https://openalex.org/W2110311336","https://openalex.org/W2110908283","https://openalex.org/W2113465774","https://openalex.org/W2117963349","https://openalex.org/W2119717320","https://openalex.org/W2120027538","https://openalex.org/W2121081915","https://openalex.org/W2125271100","https://openalex.org/W2125940008","https://openalex.org/W2129005287","https://openalex.org/W2132840411","https://openalex.org/W2133900335","https://openalex.org/W2135395375","https://openalex.org/W2146153311","https://openalex.org/W2147639553","https://openalex.org/W2147933308","https://openalex.org/W2150980051","https://openalex.org/W2156118771","https://openalex.org/W2163851162","https://openalex.org/W2167187192","https://openalex.org/W2172287543","https://openalex.org/W2610485112","https://openalex.org/W2737621452","https://openalex.org/W3006516349","https://openalex.org/W3023216518","https://openalex.org/W3137220996","https://openalex.org/W4244488020","https://openalex.org/W4250436085"],"related_works":["https://openalex.org/W2160798394","https://openalex.org/W1625627404","https://openalex.org/W1987557201","https://openalex.org/W2162390625","https://openalex.org/W3021104605","https://openalex.org/W2007052622","https://openalex.org/W207063106","https://openalex.org/W2065770700","https://openalex.org/W2784479349","https://openalex.org/W3187027099"],"abstract_inverted_index":{"This":[0],"thesis":[1],"advances":[2],"the":[3,45,67,82,128,146,178,202],"view":[4],"that":[5,16,106,141,143,201],"property-based":[6,34,48,167],"testing":[7,13,35,168],"is":[8,93],"a":[9,42,52,63,88,97,104,120,139,182,197],"powerful":[10],"way":[11],"of":[12,33,44,47,69,81,100,117,135,145,148,199],"functional":[14,37,64],"programs,":[15],"has":[17],"advantages":[18],"not":[19],"shared":[20],"by":[21,28,190,192],"traditional":[22],"unit":[23],"testing.":[24,70],"It":[25,115],"does":[26],"this":[27],"showing":[29],"two":[30,118],"new":[31],"applications":[32],"to":[36,57,77,95,108,123,155,165],"programming":[38],"as":[39,41,85],"well":[40],"study":[43],"effectiveness":[46],"testing.First,":[49],"we":[50,102,158,162,180],"present":[51,159],"tool,":[53],"QuickSpec,":[54],"which":[55],"attempts":[56],"infer":[58],"an":[59,149,160],"equational":[60],"specification":[61],"from":[62],"program":[65,129,196,203],"with":[66,153],"help":[68],"The":[71,91,172],"resulting":[72],"specifications":[73],"can":[74],"be":[75],"used":[76],"improve":[78],"your":[79],"understanding":[80],"code":[83],"or":[84],"properties":[86],"in":[87,112,127,177],"test":[89,131,136],"suite.":[90],"tool":[92],"applicable":[94],"quite":[96],"wide":[98],"variety":[99],"situations.Second,":[101],"describe":[103],"system":[105],"helps":[107],"find":[109],"race":[110],"conditions":[111],"Erlang":[113],"programs.":[114],"consists":[116],"parts:":[119],"randomised":[121],"scheduler":[122],"provoke":[124],"unusual":[125],"behaviour":[126],"under":[130],"and":[132,138],"allow":[133],"replayability":[134],"cases,":[137],"module":[140],"tests":[142],"all":[144],"functions":[147],"API":[150],"behave":[151],"atomically":[152],"respect":[154],"each":[156,195],"other.Finally,":[157],"experiment":[161],"carried":[163],"out":[164],"compare":[166],"against":[169],"test-driven":[170],"development.":[171],"results":[173],"were":[174],"inconclusive,":[175],"but":[176],"process":[179],"developed":[181],"black-box":[183],"algorithm":[184],"for":[185,194],"automatically":[186],"grading":[187],"student":[188],"programs":[189],"testing,":[191],"inferring":[193],"set":[198],"bugs":[200],"contains.":[204]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}