Semantics-based code search

Steven P. Reiss
2009 2009 IEEE 31st International Conference on Software Engineering  
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
more » ... ented in a prototype system for Java with a web interface.
doi:10.1109/icse.2009.5070525 dblp:conf/icse/Reiss09 fatcat:uk542ts4mzhvnpib4lr7v3f2ra