Sketch Bug: Using Sketch-Based Input for Interactive Code Debugging | AMiner