{"id":"https://openalex.org/W2885842896","doi":"https://doi.org/10.1145/3242744.3242747","title":"Branching processes for QuickCheck generators","display_name":"Branching processes for QuickCheck generators","publication_year":2018,"publication_date":"2018-09-17","ids":{"openalex":"https://openalex.org/W2885842896","doi":"https://doi.org/10.1145/3242744.3242747","mag":"2885842896"},"language":"en","primary_location":{"id":"doi:10.1145/3242744.3242747","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3242744.3242747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1808.01520","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Agust\u00edn Mista","orcid":null},"institutions":[{"id":"https://openalex.org/I4141589","display_name":"National University of Rosario","ror":"https://ror.org/02tphfq59","country_code":"AR","type":"education","lineage":["https://openalex.org/I4141589"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Agust\u00edn Mista","raw_affiliation_strings":["Universidad Nacional de Rosario, Argentina"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Rosario, Argentina","institution_ids":["https://openalex.org/I4141589"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Alejandro Russo","orcid":null},"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":"Alejandro Russo","raw_affiliation_strings":["Chalmers University of Technology, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":null,"display_name":"John Hughes","orcid":null},"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":"John Hughes","raw_affiliation_strings":["Chalmers University of Technology, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4141589"],"apc_list":null,"apc_paid":null,"fwci":1.4923,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.83554428,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9970999956130981,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996999979019165,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9890999794006348,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6371999979019165},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6133000254631042},{"id":"https://openalex.org/keywords/random-number-generation","display_name":"Random number generation","score":0.5976999998092651},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.531499981880188},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4348999857902527},{"id":"https://openalex.org/keywords/branching-process","display_name":"Branching process","score":0.3587000072002411},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.35010001063346863},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.3391999900341034}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6371999979019165},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6133000254631042},{"id":"https://openalex.org/C201866948","wikidata":"https://www.wikidata.org/wiki/Q228206","display_name":"Random number generation","level":2,"score":0.5976999998092651},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5637999773025513},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5364000201225281},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.531499981880188},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4348999857902527},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41940000653266907},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38589999079704285},{"id":"https://openalex.org/C177255742","wikidata":"https://www.wikidata.org/wiki/Q4109953","display_name":"Branching process","level":2,"score":0.3587000072002411},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.35010001063346863},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.3391999900341034},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.32330000400543213},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.310699999332428},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3037000000476837},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.2874000072479248},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.27149999141693115},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.2567000091075897}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3242744.3242747","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3242744.3242747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1808.01520","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.01520","pdf_url":"https://arxiv.org/pdf/1808.01520","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:research.chalmers.se:521905","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/a096ad0d-8904-449f-8544-331b9c6cc62d","pdf_url":"https://research.chalmers.se/publication/521905/file/521905_Fulltext.pdf","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":""},{"id":"pmh:oai:research.chalmers.se:507203","is_oa":false,"landing_page_url":"http://doi.org/10.1145/3242744.3242747","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":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1808.01520","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.01520","pdf_url":"https://arxiv.org/pdf/1808.01520","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3076146211","display_name":null,"funder_award_id":"RIT17-0023","funder_id":"https://openalex.org/F4320320940","funder_display_name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning"}],"funders":[{"id":"https://openalex.org/F4320320940","display_name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning","ror":"https://ror.org/044wr7g58"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1966030793","https://openalex.org/W1982202832","https://openalex.org/W2029976661","https://openalex.org/W2031872041","https://openalex.org/W2045002843","https://openalex.org/W2116813111","https://openalex.org/W2125126351","https://openalex.org/W2153649445","https://openalex.org/W2157083801","https://openalex.org/W2170478581","https://openalex.org/W2291881641","https://openalex.org/W2476059279","https://openalex.org/W2515650212","https://openalex.org/W2753617992","https://openalex.org/W2759245396","https://openalex.org/W2777305358","https://openalex.org/W2885842896","https://openalex.org/W4235035462","https://openalex.org/W4244488020","https://openalex.org/W4246781209","https://openalex.org/W4254826564"],"related_works":[],"abstract_inverted_index":{"In":[0,25],"QuickCheck":[1,116],"(or,":[2],"more":[3],"generally,":[4],"random":[5,12,112],"testing),":[6],"it":[7,17],"is":[8],"challenging":[9],"to":[10,19,45,80],"control":[11],"data":[13,22],"generators'":[14],"distributions---specially":[15],"when":[16,123],"comes":[18],"user-defined":[20],"algebraic":[21],"types":[23],"(ADT).":[24],"this":[26],"paper,":[27],"we":[28,70],"adapt":[29],"results":[30],"from":[31],"an":[32],"area":[33],"of":[34,53,60,74,95],"mathematics":[35],"known":[36],"as":[37],"branching":[38],"processes,":[39],"and":[40,103],"show":[41,118],"how":[42],"they":[43],"help":[44],"analytically":[46],"predict":[47],"(at":[48],"compile-time)":[49],"the":[50,58],"expected":[51],"number":[52],"generated":[54],"constructors,":[55],"even":[56],"in":[57,78,98,120],"presence":[59],"mutually":[61],"recursive":[62],"or":[63],"composite":[64],"ADTs.":[65],"Using":[66],"our":[67,96,114],"probabilistic":[68],"formulas,":[69],"design":[71],"heuristics":[72],"capable":[73],"automatically":[75,127],"adjusting":[76],"probabilities":[77],"order":[79],"synthesize":[81],"generators":[82,117],"which":[83],"distributions":[84],"are":[85],"aligned":[86],"with":[87,107,125],"users'":[88],"demands.":[89],"We":[90],"provide":[91],"a":[92,99],"Haskell":[93],"implementation":[94],"mechanism":[97],"tool":[100],"called":[101],"DRaGeN":[102],"perform":[104],"case":[105],"studies":[106],"real-world":[108],"applications.":[109],"When":[110],"generating":[111],"values,":[113],"synthesized":[115],"improvements":[119],"code":[121],"coverage":[122],"compared":[124],"those":[126],"derived":[128],"by":[129],"state-of-the-art":[130],"tools.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2018-08-22T00:00:00"}