Figure 1

The illustration of buggy and correct attempts and the corresponding rows in the Q and P matrices. (a) Buggy attempt B1. (b) Row for B1 in Q-matrix. (c) Row for B1 in P-matrix. (d) Repair result for B1. (e) Correct attempt C1. (f) Row for C1 in Q-matrix. (g) Row for C1 in P-matrix.