Heuristics for finding concurrent bugs | IEEE Conference Publication | IEEE Xplore