Skip to content

Program Sketching by Automatically Generating Mocks from Tests.

Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama

VenueA*CAV
Year2021
ProceedingsCAV (1)

Browse the full CAV paper archive.