Abstract: Operations may include generating a first graphical representation of a buggy version of source code of a software program and generating a second graphical representation of a repaired version of the source code. The buggy version may include an error and the error has been corrected in the repaired version. The operations may also include identifying, as matching nodes, a first node of the first graphical representation and a second node of the second graphical representation that match each other. The operations may additionally include applying a same reduction to the first node and to the second node concurrently to generate a reduced buggy version of the source code and a reduced repaired version of the source code. Further, the operations may include generating a repair example with respect to correcting the error in which the repair example is based on the reduced buggy version and the reduced repaired version.