Sign in

Test-driven synthesis.

Daniel PerelmanSumit GulwaniDan GrossmanPeter 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