Table of Contents: :: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Tjoa, Ryan, Garg, Poorva, Goldstein, Harrison, Millstein, Todd, Pierce, Benjamin, Van den Broeck, Guy
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.16868014
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

<p><span>This is the artifact for "Tuning Random Generators: Property-Based Testing as </span><span>Probabilistic Programming." The paper proposes probabilistic programming </span><span>techniques to improve the distributions of random generators used for </span><span>property-based testing.</span></p> <p><span>To get started, download the README file and `artifact.tgz` and follow the instructions.</span></p> <h2></h2>