Test-driven synthesis.

Daniel Perelman Sumit Gulwani Dan Grossman Peter Provost

Published in: PLDI (2014)

Keyphrases

test data
real world
information systems
computational complexity
data driven
data sets
decision making
image processing
object recognition
trade off