Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published April 27, 2021 | Version 1
Software Open

Program Sketching by Automatically Generating Mocks from Tests (Sketcham Artifact)

  • 1. Tufts University

Description

This is a distribution of Sketcham, a modular extension to the Sketch synthesis system, along with our benchmarks and some helpful scripts.  It includes a means of exactly reproducing the plots (and some raw numbers) from the paper, as well as rerun benchmarks and take new measurements according to the same procedure, up to user-configurable time limits.

Files

Files (10.7 GB)

Name Size Download all
md5:5c3fa349b82fa0c59ac8ab3e60a2d5e3
10.7 GB Download