Searching for bugs in parallelization