Trace-driven debugging of message passing programs | IEEE Conference Publication | IEEE Xplore