Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. - Robert H. B. Netzer; Mark H. Weaver (PLDI, 1994)