What does AP save during evolution?
Both: Class graphs G1 and G2. Traversal methods T(G1,S1) and T(G2,S2) to be tested.
- AP: Strategy graphs S1, S2. Traversal graphs TG(G1,S1) producing T(G1,S1) and TG(G2,S2) producing T(G2,S2). Compatible(G1,S1), Compatible(G2,S2). Errors(G2, Graph(TG(G1,S1))). Diff(TG(G1,S1), TG (G2,S2)).
- OO: T(G1,S1) and T(G2,S2). Compatible(G2,T(G2,S2)). Errors (G2,T(G1,S1)). Diff(T(G1,S1), T(G2,S2)).
Inspected by user, generated by compiler