SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions | IEEE Conference Publication | IEEE Xplore