Property-Based Testing in Practice2024-04-120 OA AI DOI:10.1145/3597503.3639581OriginalShareSaveAbstract En