Replay of interleavings that didn't happen
Original Publication Date: 2004-Jun-21
Included in the Prior Art Database: 2004-Jun-21
Forcing replay of a given execution of a multithreaded program is a valuable tool for debugging. Currently there are algorithms to force replay of an actual past execution. Forcing replay of a possible execution, an outcome or result that did not spontaneously occur, is of additional value for debugging.