Development of dynamic protection against timing channels
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair