bragg-2021-program:
  type: chapter
  title: Program Sketching by Automatically Generating Mocks from Tests
  author:
  - Bragg, Nate F. F.
  - Foster, Jeffrey S.
  - Roux, Cody
  - Solar-Lezama, Armando
  date: 2021
  page-range: 808-831
  url: http://dx.doi.org/10.1007/978-3-030-81685-8_38
  serial-number:
    doi: 10.1007/978-3-030-81685-8_38
    isbn: '9783030816858'
    issn: 1611-3349
  parent:
    type: book
    title: Computer Aided Verification
    publisher: Springer International Publishing