Test-driven synthesis.

Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost

Browse the full PLDI paper archive.