Property-Based Testing in Practice. - Goldstein, Harrison; Cutler, Joseph W.; Dickstein, Daniel; Pierce, Benjamin C.; Head, Andrew (ICSE: International Conference on Software Engineering, 2024)