Guillaume Pothier, Éric Tanter, José M. Piquer: Scalable omniscient debugging. OOPSLA 2007: 535-552