A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Semantics-based code search
2009
2009 IEEE 31st International Conference on Software Engineering
Preserved Fulltext
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user's specifications. The key words here are specifications and generate. We let users specify what they are looking for as precisely as possible using keywords, class or method signatures, test cases, contracts, and security constraints. Our system then uses an open set of program transformations to map retrieved code into what the user asked for. This approach is
doi:10.1109/icse.2009.5070525
dblp:conf/icse/Reiss09
fatcat:uk542ts4mzhvnpib4lr7v3f2ra