Semfix Experiments

SemFix is a semantics-based automated program repair tools for C programs. This repository contains SemFix ICSE'13 evaluation results reproduced using Angelix tool. To run repair, you first need to install Angelix, and then execute patch script. For example, in order to generate patches for all version of TCAS, run

./patch tcas

Patches for the other subject programs can be obtained in similar ways. Our subject programs are:

The patches we obtained are available in the patches-stored directory of each subject. For example, tcas/patches-stored contains patches for 33 versions of tcas we obtained.