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