Solving the Search for Source Code

No abstract is available for this paper.

• Publication year

  2014

• Venue

  ACM Transactions on Software Engineering and Methodology

• Publication date

  2014-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2581377
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• ACM Transactions on Software Engineering and Methodology : Volume 22, Nomor 4, 2013

  2014cited by this paper
• Mining source code repositories at massive scale using language modeling

  2013influential reference
• Automatic query reformulations for text retrieval in software engineering

  2013cited by this paper
• Spring 2013 Colloquium Computer and Information Sciences Solving the Search for Source Code

  2013influential reference
• On the Use of Input/Output Queries for Code Search

  2013cited by this paper
• Discovering how end-user programmers and their communities use public repositories: A study on Yahoo! Pipes

  2013influential reference
• Z3-str: a z3-based string solver for web application analysis

  2013cited by this paper
• Reverb: Recommending code-related web pages

  2013cited by this paper
• Green: reducing, reusing and recycling constraints in program analysis

  2012cited by this paper
• Finding suitable programs: Semantic search with incomplete and lightweight specifications

  2012cited by this paper
• Toward semantic search via SMT solver

  2012cited by this paper
• Symbolic execution of programs with strings

  2012cited by this paper
• Automated repair of HTML generation errors in PHP applications using string constraint solving

  2012cited by this paper
• Typestate-based semantic code search over partial programs

  2012cited by this paper
• Searching connected API subgraph via text phrases

  2012cited by this paper
• Solving the Search for Suitable Code: An Initial Implementation

  2012cited by this paper
• Automated synthesis of symbolic instruction encodings from I/O samples

  2012influential reference
• Spreadsheet table transformations from examples

  2011cited by this paper
• Portfolio: finding relevant functions and their usage

  2011cited by this paper
• Synthesizing data structure manipulations from storyboards

  2011cited by this paper
• Refactoring pipe-like mashups for end-user programmers

  2011cited by this paper
• Symbolic execution for software testing in practice: preliminary assessment

  2011cited by this paper
• Synthesizing geometry constructions

  2011cited by this paper
• Automating string processing in spreadsheets using input-output examples

  2011cited by this paper
• Abstracting path conditions

  2011cited by this paper
• How Well Do Search Engines Support Code Retrieval on the Web?

  2011influential reference
• Behavior model based component search: an initial assessment

  2010cited by this paper
• Qex: Symbolic SQL Query Explorer

  2010cited by this paper
• Exploring the use of crowdsourcing to support empirical studies in software engineering

  2010cited by this paper
• A study of the uniqueness of source code

  2010cited by this paper
• Oracle-guided component-based program synthesis

  2010cited by this paper
• Improving code completion with program history

  2010cited by this paper
• Learning from 6,000 projects: lightweight cross-project anomaly detection

  2010cited by this paper
• Analysis and Transformation of Pipe-like Web Mashups for End User Programmers

  2010cited by this paper
• Exemplar: EXEcutable exaMPLes ARchive

  2010cited by this paper
• Instant code clone search

  2010cited by this paper
• Path Feasibility Analysis for String-Manipulating Programs

  2009cited by this paper
• HAMPI: a solver for string constraints

  2009cited by this paper
• Analyzing and evaluating query reformulation strategies in web search logs

  2009cited by this paper
• Synthesizing hardware from sketches

  2009cited by this paper
• Conversations in developer communities: a preliminary analysis of the yahoo! pipes community

  2009cited by this paper
• Z3: An Efficient SMT Solver

  2008cited by this paper
• Semi-automating small-scale source code reuse via structural correspondence

  2008cited by this paper
• Program synthesis by sketching

  2008cited by this paper
• Sketching concurrent data structures

  2008cited by this paper
• Topes

  2008cited by this paper
• What do we

  2008cited by this paper
• Sketching stencils

  2007cited by this paper
• Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion

  2007cited by this paper
• Reverse Query Processing

  2007cited by this paper
• Yahoo! pipes

  2007cited by this paper
• DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones

  2007cited by this paper
• CodeGenie:: a tool for test-driven source code search

  2007cited by this paper
• Keyword programming in Java

  2007cited by this paper
• The YICES SMT Solver

  2006cited by this paper
• XSnippet: mining For sample code

  2006cited by this paper
• Approximate Structural Context Matching: An Approach to Recommend Relevant Examples

  2006cited by this paper
• Combinatorial sketching for finite programs

  2006cited by this paper
• Google's PageRank and Beyond

  2006cited by this paper
• Jungloid mining: helping to navigate the API jungle

  2005cited by this paper
• Using structural context to recommend source code examples

  2005cited by this paper
• Overview of the TREC 2004 Web Track

  2004cited by this paper
• Scaling step-wise refinement

  2003cited by this paper
• An initial investigation of test driven development in industry

  2003cited by this paper
• Generalized Symbolic Execution for Model Checking and Testing

  2003cited by this paper
• Visualization of test information to assist fault localization

  2002cited by this paper
• Model checking programs

  2000cited by this paper
• Efficient Specification-Based Component Retrieval

  1999cited by this paper
• Principles of Program Analysis

  1999cited by this paper
• Specification matching of software components

  1997influential reference
• Architectural Why reuse is so hard

  1995cited by this paper
• Signature matching

  1995influential reference
• Specification matching of software components

  1995cited by this paper
• TELS: learning text editing tasks from examples

  1993cited by this paper
• Retrieving reusable software by sampling behavior

  1993cited by this paper
• Watch what I do: programming by demonstration

  1993cited by this paper
• Cognitive tools for locating and comprehending software objects for reuse

  1991cited by this paper
• Applications of symbolic evaluation

  1985influential reference
• A 15 Year Perspective on Automatic Programming

  1985influential reference
• A System to Generate Test Data and Symbolically Execute Programs

  1976influential reference
• Symbolic execution and program testing

  1976influential reference

• Semantic Search for System Dynamics Models Using Vector Embeddings in a Cloud Microservices Environment

  2026cites this paper
• BatCoder: Self-Supervised Bidirectional Code-Documentation Learning via Back-Translation

  2026cites this paper
• MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair

  2025cites this paper
• The Influence of Search Engine Ranking Quality on the Performance of Programmers

  2025cites this paper
• CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking

  2025cites this paper
• Cross-Language Semantic Code Clone Detection in Large-Scale Software Repositories Using Transformer-Based Contrastive Learning

  2025cites this paper
• Do LLMs Provide Links to Code Similar to What They Generate? A Study with Gemini and Bing CoPilot

  2025cites this paper
• The Future of AI-Driven Software Engineering

  2025cites this paper
• 10 Years Later: Revisiting How Developers Search for Code

  2025cites this paper
• The Future of Software Engineering in an AI-Driven World

  2024cites this paper
• C2B: A Semantic Source Code Retrieval Model Using CodeT5 and Bi-LSTM

  2024cites this paper
• CoSQA+: Enhancing Code Search Evaluation With a Multi-Choice Benchmark and Test-Driven Agents

  2024cites this paper
• Code search engines for the next generation

  2024cites this paper
• An empirical study on API usages from code search engine and local library

  2023cites this paper
• SSDTutor: A feedback-driven intelligent tutoring system for secure software development

  2023cites this paper
• Survey of Code Search Based on Deep Learning

  2023cites this paper
• Big Code Search: A Bibliography

  2023cites this paper
• A Survey of Deep Code Search

  2023cites this paper
• A Hypothesis Testing-based Framework for Software Cross-modal Retrieval in Heterogeneous Semantic Spaces

  2023cites this paper
• Diet code is healthy: simplifying programs for pre-trained models of code

  2022cites this paper
• Incorporating Code Structure and Quality in Deep Code Search

  2022cites this paper
• Using clarification questions to improve software developers' Web search

  2022cites this paper
• Automated Change Rule Inference for Distance-Based API Misuse Detection

  2022cites this paper
• Code Search: A Survey of Techniques for Finding Code

  2022cites this paper
• A Survey and Taxonomy of Intent-Based Code Search

  2021cites this paper
• A Systematic Review of Automated Query Reformulations in Source Code Search

  2021cites this paper
• How Do Developers Search for Architectural Information? An Industrial Survey

  2021cites this paper
• API Usage Pattern Search Based on Model Checking

  2021cites this paper
• The Influence of Code Retrieval from the Web on Programmer’s Skills, Meth-odologies, and Coding Behaviors

  2021cites this paper
• Towards a Methodology for Participant Selection in Software Engineering Experiments: A Vision of the Future

  2021cites this paper
• Retrieval Augmented Code Generation and Summarization

  2021cites this paper
• A Systematic Literature Review of Automated Query Reformulations in Source Code Search

  2021cites this paper
• Mining Idioms in the Wild

  2021cites this paper
• Multimodal Representation for Neural Code Search

  2021cites this paper
• Cross-language code search using static and dynamic analyses

  2021cites this paper
• Clone-Seeker: Effective Code Clone Search Using Annotations

  2021cites this paper
• Characterizing top ranked code examples in Google

  2021cites this paper
• Self-Attention Networks for Code Search

  2021cites this paper
• Googling for Software Development: What Developers Search For and What They Find

  2021cites this paper
• Apples, Oranges & Fruits - Understanding Similarity of Software Projects Through The Lens of Dissimilar Artifacts

  2021cites this paper
• SOSRepair: Expressive Semantic Search for Real-World Program Repair

  2021cites this paper
• A Fusion of Java Domain Knowledge Base and Siamese Network for Java API Recommendation

  2020cites this paper
• ProSy: API-Based Synthesis with Probabilistic Model

  2020cites this paper
• Recommendation Based on Java Code Analysis and Search

  2020cites this paper
• A Survey on Automatic Bug Fixing

  2020cites this paper
• CodeMatcher: Searching Code Based on Sequential Semantics of Important Query Words

  2020cites this paper
• APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools

  2020cites this paper
• Opportunities and Challenges in Code Search Tools

  2020cites this paper
• Enhancing example-based code search with functional semantics

  2020influential citation
• APISonar: Mining API usage examples

  2020influential citation
• PSCS: A Path-based Neural Model for Semantic Code Search

  2020cites this paper
• Guided pattern mining for API misuse detection by change-based code analysis

  2020cites this paper
• How Graduate Computing Students Search When Using an Unfamiliar Programming Language

  2020cites this paper
• Source Code Comments: Overlooked in the Realm of Code Clone Detection

  2020cites this paper
• Replacements and Replaceables: Making the Case for Code Variants

  2020cites this paper
• Semantic code search via equational reasoning

  2020cites this paper
• Are the Code Snippets What We Are Searching for? A Benchmark and an Empirical Study on Code Search with Natural-Language Queries

  2020cites this paper
• Towards summarizing program statements in source code search

  2020cites this paper
• An Empirical Study of Software Exceptions in the Field using Search Logs

  2020cites this paper
• Simplifying Deep-Learning-Based Model for Code Search

  2020cites this paper
• The Usage of Web Search for Software Engineering

  2019cites this paper
• Applications of Multi-view Learning Approaches for Software Comprehension

  2019cites this paper
• Exploring Tools and Strategies Used During Regular Expression Composition Tasks

  2019cites this paper
• Slicing Based Code Recommendation for Type Based Instance Retrieval

  2019cites this paper
• A platform for diversity-driven test amplification

  2019cites this paper
• Enhance code search via reformulating queries with evolving contexts

  2019cites this paper
• On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence

  2019cites this paper
• Analysis of Automatic Code Generation Tools based on Machine Learning

  2019cites this paper
• Analyzing Web Search Behavior for Software Engineering Tasks

  2019cites this paper
• Deep Code Search

  2018cites this paper
• Semantic Program Repair Using a Reference Implementation

  2018cites this paper
• Statistical Translation of English Texts to API Code Templates

  2018cites this paper
• Evaluating How Developers Use General-Purpose Web-Search for Code Retrieval

  2018influential citation
• Code similarity and clone search in large-scale source code data

  2018cites this paper
• Code variants and their retrieval using knowledge discovery based approaches

  2018cites this paper
• Supporting exploratory code search with differencing and visualization

  2018cites this paper
• FaCoY – A Code-to-Code Search Engine

  2018cites this paper
• Assisting developers in the creation and maintenance of unit tests

  2018cites this paper
• Pluggable Properties for Program Understanding: Ontic Type Checking and Inference

  2018cites this paper
• Active Inductive Logic Programming for Code Search

  2018cites this paper
• Expanding Queries for Code Search Using Semantically Related API Class-names

  2018influential citation
• [Research Paper] Semantics-Based Code Search Using Input/Output Examples

  2018influential citation
• Towards a framework for generating program dependence graphs from source code

  2018cites this paper
• DeepSim: deep learning code functional similarity

  2018cites this paper
• A Documentation-based Constraint Generation Method for Java APIs

  2018cites this paper
• CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge

  2018cites this paper
• Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey

  2018cites this paper
• Toxic Code Snippets on Stack Overflow

  2018cites this paper
• Understanding the impact of support for iteration on code search

  2017influential citation
• Advanced techniques for search-based program repair

  2017cites this paper
• What do developers search for on the web?

  2017cites this paper
• Goal-based composition of scalable hybrid analytics for heterogeneous architectures

  2017cites this paper
• Improving Mining Performance for Internet Code Search Engines

  2017cites this paper
• ARCC: assistant for repetitive code comprehension

  2017cites this paper
• A survey of the use of crowdsourcing in software engineering

  2017cites this paper
• Source Forager: A Search Engine for Similar Source Code

  2017cites this paper
• At the End of Synthesis: Narrowing Program Candidates

  2017cites this paper
• Creating Test Cases Using Code Search

  2016cites this paper
• Query Expansion Based on Crowd Knowledge for Code Search

  2016cites this paper
• Software search is not a science, even among scientists

  2016cites this paper