@misc{indiciae370106a66562,
  title = {Etna: An evaluation platform for property-based testing},
  author = {Alperen Keles and Jessica Shi and Nikhil Kamath and Tin Nam Liu and Ceren Mert and Harrison Goldstein and Benjamin C. Pierce and Leonidas Lampropoulos},
  year = {2026},
  doi = {10.46298/jfp.17867},
  url = {https://arxiv.org/abs/2603.27002},
  note = {Source identifier: 2603.27002}
}