A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Finding suitable programs: Semantic search with incomplete and lightweight specifications
2012
2012 34th International Conference on Software Engineering (ICSE)
Finding suitable code for reuse is a common task for programmers. Two general approaches dominate the code search literature: syntactic and semantic. While queries for syntactic search are easy to compose, the results are often vague or irrelevant. On the other hand, a semantic search may return relevant results, but current techniques require developers to write specifications by hand, are costly as potentially matching code need to be executed to verify congruence with the specifications, or
doi:10.1109/icse.2012.6227034
dblp:conf/icse/Stolee12
fatcat:vmeclvfrnzf47m5k4zgp66ttua