Backtracking and re-execution in the automatic debugging of parallelized programs | IEEE Conference Publication | IEEE Xplore