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