TY  - RPRT
TI  - Etna: An evaluation platform for property-based testing
AU  - Alperen Keles
AU  - Jessica Shi
AU  - Nikhil Kamath
AU  - Tin Nam Liu
AU  - Ceren Mert
AU  - Harrison Goldstein
AU  - Benjamin C. Pierce
AU  - Leonidas Lampropoulos
PY  - 2026
DO  - 10.46298/jfp.17867
UR  - https://arxiv.org/abs/2603.27002
ID  - 2603.27002
ER  -