A Search-based Approach for Generalizing and Refining Source Code Templates

2015-07-09T09:32:52Z (GMT) by Tim Molderez Coen De Roover

Code templates are a convenient means to search and transform source code. However, such templates may still be difficult to specify, as they can produce too few or too many matches. To assist the users of our Ekeko/X program transformation tool, we have provided a suite of mutation operators for code templates and have designed a genetic search algorithm to recommend modifications to templates.

Presented at SATToSE'15.