Efficient Execution Path Exploration for Detecting Races in Concurrent Programs. - Setiadi, Theodorus E.; Ohsuga, Akihiko; Maekawa, Mamoru (IAENG International Journal of Computer Science, 2013)