id: 70860725 dt: a an: 70860725 au: Carbin, Michael; Misailovic, Sasa; Kling, Michael; Rinard, Martin C. ti: Detecting and escaping infinite loops with jolt so: ECOOP, 609-633 (2011). py: 2011 pu: la: EN cc: ut: ci: li: doi:10.1007/978-3-642-22655-7_28