"Interactive Synthesis of Code Snippets."

Tihomir Gvero, Viktor Kuncak, Ruzica Piskac (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics