At the End of Synthesis: Narrowing Program Candidates.

David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee

Browse the full ICSE paper archive.