Testing for Race Conditions