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.

Improving Software Text Retrieval Using Conceptual Knowledge in Source Code.

Exploiting Semantic Knowledge Base for Patent Retrieval

A Semantic Query Expansion-Based Patent Retrieval Approach

Enhancing Software Search with Semantic Information from Wikipedia

Graph Embedding Based Code Search in Software Project

Codehow: Effective Code Search Based On Api Understanding And Extended Boolean Model

From Word Embeddings to Document Similarities for Improved Information Retrieval in Software Engineering.

Inferring Semantically Related Software Terms and Their Taxonomy by Leveraging Collaborative Tagging

Text Information Retrieval Based on Concept Semantic Similarity

Correlation-based Software Search by Leveraging Software Term Database

Modified Text Retrieval Based on Concept Similarity

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application

An Opinion Retrieval Method Based on Text Conceptualization

Solving the Search for Source Code

Bridging Semantic Gaps Between Natural Languages and APIs with Word Embedding.

A Hypothesis Testing-Based Framework for Software Cross-Modal Retrieval in Heterogeneous Semantic Spaces

Software Knowledge Graph Construction and Q&A Technology Based on Big Data

Query Expansion Based on Statistical Learning from Code Changes

Graph Embedding Based API Graph Search and Recommendation

Expanding Approach to Information Retrieval Using Semantic Similarity Analysis Based on Wordnet and Wikipedia

Query expansion via WordNet for effective code search