Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck: Artifact for: Tuning Random Generators: Property-Based Testing as Probabilistic Programming. Zenodo 2025