Games of one cycle are called "one shot" Prisoner's Dilemma Games; the form in which players engage in repeated cycles of the game is known as the Iterated Prisoner's Dilemma Game (IPDG), which is used in the current experiments.
A typical IPDG experiment (e.g, Cooper, DeJong, Forsythe & Ross, 1996) has two players who each press either X or Y on a keyboard in each round, or game cycle.
In the two-player IPDG, the average frequency of X presses is higher than in the one shot game.
Intermediate representations such as IPDG and ClDG have been proposed in the context of C++ programs and do not satisfactorily model Java programs.
For RTS of the application program, the technique models the original program P and the modified program P' using IPDG models.