A concurrent program debugging environment using real-time replay | IEEE Conference Publication | IEEE Xplore