Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing.