ACM Programming Language Design and Implementation, PLDI 2014

Article Details
Title: Test-driven synthesis
Article URLs:
Alternative Article URLs: https://homes.cs.washington.edu/~perelman/publications/pldi14-tds.pdf
Authors: Daniel Perelman
  • University of Washington, Computer Science and Engineering
Sumit Gulwani
  • Microsoft Research
Dan Grossman
  • University of Washington, Computer Science and Engineering
Peter Provost
  • Microsoft Corporation
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/pldi/PerelmanGGP14
Author Comments: The artifact includes programs used in the evaluation of our work (the specifications fed to the synthesizer and its output and running time for different modes of the synthesizer). The source code of the synthesizer could not be shared due to Microsoft owning the copyright.

Discuss this paper and its artifacts below