Rok Sosic David Abramson Guard: A Relative Debugger. 185-206 1997 27 Softw., Pract. Exper. 2 db/journals/spe/spe27.html#SosicA97