Detecting and Escaping Infinite Loops with Jolt. - Michael Carbin; Sasa Misailovic; Michael Kling; Martin C. Rinard (ECOOP, 2011)

Bolt: on-demand infinite loop escape in unmodified binaries. - Michael Kling; Sasa Misailovic; Michael Carbin; Martin C. Rinard (OOPSLA, 2012)