Programming not only by example.

Hila Peleg, Sharon Shoham, Eran Yahav

Browse the full ICSE paper archive.