I think I had heard of Omniscient Debugging, but I didn't know of this implementation. Seen here.