Tuning Random Generators: Property-Based Testing as Probabilistic Programming

Tuning Random Generators: Property-Based Testing as Probabilistic Programming (bibtex)

by Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin C. Pierce and Guy Van den Broeck

Reference:

Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin C. Pierce and Guy Van den Broeck. Tuning Random Generators: Property-Based Testing as Probabilistic Programming, In Proc. ACM Program. Lang. (OOPSLA), ACM, 2025.

Bibtex Entry:

@inproceedings{TjoaOOPSLA25,
  title={Tuning Random Generators: Property-Based Testing as Probabilistic Programming},
  author={Tjoa, Ryan and Garg, Poorva and Goldstein, Harrison and Millstein, Todd and C. Pierce, Benjamin and Van den Broeck, Guy},
  booktitle = {Proc. ACM Program. Lang. (OOPSLA)},
  publisher={ACM},
  doi={https://doi.org/10.1145/3763082},
  month     = 10,
  year={2025},
  url       = "http://starai.cs.ucla.edu/papers/TjoaOOPSLA25.pdf",
  code = "https://github.com/Tractables/Alea.jl/tree/loaded-dice",
  keywords  = {conference, selective}
}

PDF Preview: