Using Local Clocks to Reproduce Concurrency Bugs | IEEE Journals & Magazine | IEEE Xplore