Tuning Random Generators: Property-Based Testing as Probabilistic Programming [pdf] | Dark Hacker News