SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions