{"id":"https://openalex.org/W7147609312","doi":"https://doi.org/10.48550/arxiv.2603.27002","title":"Etna: An Evaluation Platform for Property-Based Testing","display_name":"Etna: An Evaluation Platform for Property-Based Testing","publication_year":2026,"publication_date":"2026-03-27","ids":{"openalex":"https://openalex.org/W7147609312","doi":"https://doi.org/10.48550/arxiv.2603.27002"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.27002","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.27002","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.27002","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035741660","display_name":"A. Kele\u015f","orcid":"https://orcid.org/0009-0000-5734-3598"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Keles, Alperen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060936937","display_name":"Jessica Shi","orcid":"https://orcid.org/0000-0002-1507-1122"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shi, Jessica","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034130497","display_name":"Nikhil Kamath","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kamath, Nikhil","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132646428","display_name":"Tin Nam Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Tin Nam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049169770","display_name":"Ceren Mert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mert, Ceren","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132580190","display_name":"Harrison Goldstein","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Goldstein, Harrison","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132671039","display_name":"Benjamin C. Pierce","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierce, Benjamin C.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5075217645","display_name":"Leonidas Lampropoulos","orcid":"https://orcid.org/0000-0003-0269-9815"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lampropoulos, Leonidas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5035741660"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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.6316999793052673,"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.6316999793052673,"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/T12127","display_name":"Software System Performance and Reliability","score":0.29670000076293945,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.016899999231100082,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.703499972820282},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.57669997215271},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.49149999022483826},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4620000123977661},{"id":"https://openalex.org/keywords/wonder","display_name":"Wonder","score":0.46140000224113464},{"id":"https://openalex.org/keywords/empirical-research","display_name":"Empirical research","score":0.34790000319480896},{"id":"https://openalex.org/keywords/carry","display_name":"Carry (investment)","score":0.34779998660087585}],"concepts":[{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.703499972820282},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6995999813079834},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.57669997215271},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.49149999022483826},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4620000123977661},{"id":"https://openalex.org/C2780573756","wikidata":"https://www.wikidata.org/wiki/Q977433","display_name":"Wonder","level":2,"score":0.46140000224113464},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3747999966144562},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.34790000319480896},{"id":"https://openalex.org/C2776299755","wikidata":"https://www.wikidata.org/wiki/Q432449","display_name":"Carry (investment)","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3407999873161316},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.29760000109672546},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.29350000619888306},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.2799000144004822},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.262800008058548},{"id":"https://openalex.org/C3017568202","wikidata":"https://www.wikidata.org/wiki/Q2899888","display_name":"User needs","level":2,"score":0.2581000030040741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.27002","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.27002","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.27002","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.27002","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Property-based":[0],"testing":[1,98],"is":[2,66],"a":[3,9,38,79,91],"mainstay":[4],"of":[5,19,40,86,93,117],"functional":[6],"programming,":[7],"boasting":[8],"rich":[10],"literature,":[11,61,102],"an":[12,17],"enthusiastic":[13],"user":[14],"community,":[15],"and":[16,84,97,103,141,151],"abundance":[18],"tools~":[20],"--":[21],"so":[22],"many,":[23],"indeed,":[24],"that":[25],"new":[26,109],"users":[27,48,144],"may":[28,36,49],"have":[29],"difficulty":[30],"choosing.":[31],"Moreover,":[32],"any":[33,55],"given":[34,56],"framework":[35],"support":[37],"variety":[39],"strategies":[41],"for":[42,81],"generating":[43],"test":[44],"inputs;":[45],"even":[46],"experienced":[47],"wonder":[50],"which":[51],"are":[52],"better":[53],"in":[54,136],"situation.":[57],"Sadly,":[58],"the":[59,101,114],"PBT":[60,87,95,134],"though":[62],"long":[63],"on":[64,68],"creativity,":[65],"short":[67],"rigorous":[69],"comparisons":[70],"to":[71,127,145],"help":[72],"answer":[73],"such":[74],"questions.":[75],"We":[76],"present":[77],"ETNA,":[78],"platform":[80],"empirical":[82],"evaluation":[83],"comparison":[85],"techniques.":[88],"ETNA":[89,126],"incorporates":[90],"number":[92],"popular":[94,133],"frameworks":[96],"workloads":[99],"from":[100],"its":[104,122],"extensible":[105],"architecture":[106],"makes":[107],"adding":[108],"ones":[110],"easy,":[111],"while":[112],"handling":[113],"technical":[115],"drudgery":[116],"performance":[118],"measurement.":[119],"To":[120],"illustrate":[121],"benefits,":[123],"we":[124],"use":[125],"carry":[128],"out":[129],"several":[130],"experiments":[131],"with":[132],"approaches":[135],"Rocq,":[137],"Haskell,":[138],"OCaml,":[139],"Racket,":[140],"Rust,":[142],"allowing":[143],"more":[146],"clearly":[147],"understand":[148],"best":[149],"practices":[150],"tradeoffs.":[152]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2026-04-02T00:00:00"}