The main idea of the project is to define program repairs, which make the program closest to its oracle.

Initially, we have a program, which is implemented in an incorrect way. We apply some fix options in the form of simple syntactic changes to it. Then, we run the same set of inputs on the oracle program and the repaired versions of the program. Using SPF and Green we calculate the percentage of the inputs for which the oracle program and the repaired program produce the same outputs. This percentage is the indicator of the quality of each fix.



Gunel Jahangirova


  • Willem Visser
  • Oksana Tkachuk