Debugging Multithreaded Programs as if They Were Sequential | IEEE Conference Publication | IEEE Xplore