Abstract:Programmers frequently search for source code to reuse using keyword searches. The search effectiveness in facilitating reuse, however, depends on the programmer's ability to specify a query that captures how the desired code may have been implemented. Further, the results often include many irrelevant matches that must be filtered manually. More semantic search approaches could address these limitations, yet existing approaches are either not flexible enough to find approximate matches or require the programmer to define complex specifications as queries. We propose a novel approach to semantic code search that addresses several of these limitations and is designed for queries that can be described using a concrete input/output example. In this approach, programmers write lightweight specifications as inputs and expected output examples. Unlike existing approaches to semantic search, we use an SMT solver to identify programs or program fragments in a repository, which have been automatically transformed into constraints using symbolic analysis, that match the programmer-provided specification. We instantiated and evaluated this approach in subsets of three languages, the Java String library, Yahoo! Pipes mashup language, and SQL select statements, exploring its generality, utility, and trade-offs. The results indicate that this approach is effective at finding relevant code, can be used on its own or to filter results from keyword searches to increase search precision, and is adaptable to find approximate matches and then guide modifications to match the user specifications when exact matches do not already exist. These gains in precision and flexibility come at the cost of performance, for which underlying factors and mitigation strategies are identified.

Query expansion via WordNet for effective code search

Query Expansion Based on Statistical Learning from Code Changes

Concept Based Query Expansion Using Wordnet

Exploiting Semantic Knowledge Base for Patent Retrieval

Solving the Search for Source Code

Query Expansion Based on Crowd Knowledge for Code Search

A Query Expansion Algorithm Based on Phrases Semantic Similarity

Query Expansion Based on Query Log and Small World Characteristic

Using WordNet in Conceptual Query Expansion

Improving Query Expansion Using WordNet

Query Expansion Based the Web

Improved Local Co-occurrence Query Expansion Based on Synonymous

A new approach for query expansion using Wikipedia and WordNet

Query expansion based on Web knowledge base and search engine

Enhance Code Search Via Reformulating Queries with Evolving Contexts.

Semantic User Query Expansion

Query Expansion Based on Context of Document and Search Result

Query Expansion Via Intent Predicting.

Query Expansion Based on Semantics and Statistics in Chinese Question Answering System

A QUERY EXPANSION METHOD BASED ON VAGUE SYNONYMS

Query Expansion Based on Clustered Results