File uploads: We have fixed an issue which caused file uploads to fail. We apologise for the inconvenience it may have caused.

Published April 27, 2021 | Version 1.01
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:14ed27de02218ccfccce25dba3d36809
10.7 GB Download