Code search

[azhe825]

A framework for source code search using program patterns (1994, 250)

Sourcerer: a search engine for open source code supporting structure-based search (2006, 124)

Semantics-based code search (2009, 154)

CodeGenie:: a tool for test-driven source code search (2007, 40)

Code search with input/output queries: Generalizing, ranking, and assessment (2015,1)

[azhe825]

A framework for source code search using program patterns (1994, 250)

pattem language

[azhe825]

Semantics-based code search (2009, 154)

Search by keywords for syntax. Google code search engine for example.

Semantics search:

• Test cases, test cases are incremental, easy to provide.
• Contracts: preconditions and postconditions of method.
• Other aspects such as security

After finding the initial solution, transform it by Eclipse’s abstract syntax tree to meet user specifications... Kinda like a mutation.

Transformation can also happen after testing.

[azhe825]

CodeGenie:: a tool for test-driven source code search (2007, 40)

Test Driven

[azhe825]

Sourcerer: a search engine for open source code supporting structure-based search (2006, 124)

Provide data set and benchmark results

more than 1500 real-world open source projects corresponding to 254,049 Java classes, and over two million entities and eleven million relations

[azhe825]

Code search with input/output queries: Generalizing, ranking, and assessment

Good Evaluation