Finding suitable programs: Semantic search with incomplete and lightweight specifications.

Kathryn T. Stolee

Browse the full ICSE paper archive.