There is a newer version of the record available.

Published June 28, 2025 | Version v1
Software Open

Artifact for: Tuning Random Generators: Property-Based Testing as Probabilistic Programming

Authors/Creators

  • 1. ROR icon University of Washington
  • 2. ROR icon University of California, Los Angeles
  • 3. ROR icon University of Pennsylvania
  • 4. University of California

Description

This is the artifact for "Tuning Random Generators: Property-Based Testing as Probabilistic Programming." The paper proposes probabilistic programming techniques to improve the distributions of random generators used for property-based testing.

To get started, download the README file and `artifact.tgz` and follow the instructions.

Files

README.md

Files (2.6 GB)

Name Size Download all
md5:d4642c8d00f145991328d6fdf8981587
2.6 GB Download
md5:75db4c4b420345cb18c83fcfc107d47c
14.0 kB Preview Download