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:14ed27de02218ccfccce25dba3d36809
10.7 GB Download
216
28
views
downloads
All versions This version
Views 216147
Downloads 2826
Data volume 300.0 GB278.5 GB
Unique views 180130
Unique downloads 2422

Share

Cite as