Published August 14, 2025 | Version v2
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:d5681d424887b6041d830d41249c0aee
2.6 GB Download
md5:3d4c5ae32682924247a41bdd0e855a74
2.2 kB Preview Download
md5:75db4c4b420345cb18c83fcfc107d47c
14.0 kB Preview Download