ProveNFix: Temporal Property guided Program Repair

This is the supporting data from a paper submission to FSE24, including the source code and the benchmarks, by the time of the submission. 

However, please check out the latest implementation and documentation (and paper) on Github: https://github.com/songyahui/infer_TempFix.

The summary of all the bugs in different projects is in the folder "notes.zip"; the appendixes are attached. 

We recomand you to try out our docker image with all the benchamrked integrated and configured inside: 

https://github.com/songyahui/infer_TempFix/blob/main/ProveNFix_Artifact_Evaluation.pdf

Yahui Song (yahui_s@nus.edu.sg)