A method of back-tracing execution of a computer program, where the computer program comprises a plurality of blocks, comprises instrumenting an original version of the program by adding instrumentation code to some or all of the blocks to form an instrumented program. Instrumentation can be added at...http://www.google.com/patents/US6353924?utm_source=gb-gplus-sharePatent US6353924 - Method for back tracing program execution
