Erratum: A system for debugging via online tracing and dynamic slicing. (6th May 2014) - Nagarajan, Vijay; Jeffrey, Dennis; Gupta, Rajiv