@inbook{bragg-2021-program, title={Program Sketching by Automatically Generating Mocks from Tests}, ISBN={9783030816858}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-81685-8_38}, DOI={10.1007/978-3-030-81685-8_38}, booktitle={Computer Aided Verification}, publisher={Springer International Publishing}, author={Bragg, Nate F. F. and Foster, Jeffrey S. and Roux, Cody and Solar-Lezama, Armando}, year={2021}, pages={808–831} }