Querypoint : Moving backwards on wrong values in the buggy executionSalman MirghasemiJohn J. Bartonet al.2011FSE 2011