Programmable Property-Based Testing. - Alperen Keles; Justine Frank; Ceren Mert; Harrison Goldstein; Leonidas Lampropoulos (CoRR, 2026)

Etna: An Evaluation Platform for Property-Based Testing. - Alperen Keles; Jessica Shi 002; Nikhil Kamath; Tin Nam Liu; Ceren Mert; Harrison Goldstein; Benjamin C. Pierce; Leonidas Lampropoulos (CoRR, 2026)