Projects

GenPat

GenPat is an automatic program transformation inferring framework, which infers general (reusable) transformations from singular examples. In this process, it leverages a big code corpus to guide the inference process. The following figure is the workflow of our approach.[PDF][Tool]

The workflow of this technique.
The workflow of this technique.

Inferring Stage

Applying Stage


SimFix

SimFix is an automatic program repair technique, which leverages exisiting patches from other projects and similar code snippets in the same project to generate patches. The following figure is the workflow of our approach.[PDF][Tool]

The workflow of this technique.
The workflow of this technique.

Mining Stage

Repairing Stage