During automated (APR), it can be challeng\x02ing to synthesize correct patches for real-world systems in general-purpose ...

Figure 9: The stack layout. Each stack slot is labelled twice, for its role in the two overlapping frames. The slot marked `` (empty)'' is the portion of the operand stack space which does not ...