Testing race conditions with mem access tracing and stack-based delay injection