Eric Leu André Schiper Execution Replay: A Mechanism for Integrating a Visualization Tool with a Symbolic Debugger. 55-66 1992 conf/conpar/1992 CONPAR db/conf/conpar/conpar1992.html#LeuS92 http://dx.doi.org/10.1007/3-540-55895-0_398