3 ms·Tuning Random Generators: Property-Based Testing as Probabilistic Programming [pdf]1 points by PaulHoule 10mo ago