@article{keles-2026-programmable, title={Programmable Property-Based Testing}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3828685}, DOI={10.1145/3828685}, number={ICFP}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Keles, Alperen and Frank, Justine and Mert, Ceren and Goldstein, Harrison and Lampropoulos, Leonidas}, year={2026}, month=Aug, pages={365–396} }