Tuning Random Generators: Property-Based Testing as Probabilistic Programming

4 points by teymour