There is a newer version of this record available.

Software Open Access

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

Nate F. F. Bragg

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 (10.7 GB)
Name Size
SketchamCAV2021.ova
md5:5c3fa349b82fa0c59ac8ab3e60a2d5e3
10.7 GB Download
240
30
views
downloads
All versions This version
Views 24079
Downloads 303
Data volume 321.4 GB32.1 GB
Unique views 20470
Unique downloads 263

Share

Cite as