Etna: An Evaluation Platform for Property-Based Testing
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910081676738560 |
|---|---|
| author | Keles, Alperen Shi, Jessica Kamath, Nikhil Liu, Tin Nam Mert, Ceren Goldstein, Harrison Pierce, Benjamin C. Lampropoulos, Leonidas |
| author_facet | Keles, Alperen Shi, Jessica Kamath, Nikhil Liu, Tin Nam Mert, Ceren Goldstein, Harrison Pierce, Benjamin C. Lampropoulos, Leonidas |
| contents | Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools~ -- so many, indeed, that new users may have difficulty choosing. Moreover, any given framework may support a variety of strategies for generating test inputs; even experienced users may wonder which are better in any given situation. Sadly, the PBT literature, though long on creativity, is short on rigorous comparisons to help answer such questions.
We present ETNA, a platform for empirical evaluation and comparison of PBT techniques. ETNA incorporates a number of popular PBT frameworks and testing workloads from the literature, and its extensible architecture makes adding new ones easy, while handling the technical drudgery of performance measurement.
To illustrate its benefits, we use ETNA to carry out several experiments with popular PBT approaches in Rocq, Haskell, OCaml, Racket, and Rust, allowing users to more clearly understand best practices and tradeoffs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_27002 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Etna: An Evaluation Platform for Property-Based Testing Keles, Alperen Shi, Jessica Kamath, Nikhil Liu, Tin Nam Mert, Ceren Goldstein, Harrison Pierce, Benjamin C. Lampropoulos, Leonidas Software Engineering Programming Languages Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools~ -- so many, indeed, that new users may have difficulty choosing. Moreover, any given framework may support a variety of strategies for generating test inputs; even experienced users may wonder which are better in any given situation. Sadly, the PBT literature, though long on creativity, is short on rigorous comparisons to help answer such questions. We present ETNA, a platform for empirical evaluation and comparison of PBT techniques. ETNA incorporates a number of popular PBT frameworks and testing workloads from the literature, and its extensible architecture makes adding new ones easy, while handling the technical drudgery of performance measurement. To illustrate its benefits, we use ETNA to carry out several experiments with popular PBT approaches in Rocq, Haskell, OCaml, Racket, and Rust, allowing users to more clearly understand best practices and tradeoffs. |
| title | Etna: An Evaluation Platform for Property-Based Testing |
| topic | Software Engineering Programming Languages |
| url | https://arxiv.org/abs/2603.27002 |