Directed Tracing to Detect Race Conditions. - Emmi Schatz; Barbara G. Ryder (ICPP (2), 1992)