@inproceedings{ETNAjfp,
  author = {Keles, Alperen and Shi, Jessica and Kamath, Nikhil and Liu, Tin Nam and Mert, Ceren and Goldstein, Harrison and Pierce, Benjamin C. and Lampropoulos, Leonidas},
  title = {Etna: An Evaluation Platform for Property-Based Testing},
  booktitle = {Journal of Functional Programming (JFP), JFP Special Issue},
  shortbooktitle = {JFP},
  url = {https://lemonidas.github.io/pdf/ETNAjfp},
  year = {2026},
  doi = {},
}