Krukov, V.; Kudryavtsev, M. Automated Debugging of Parallel Programs. Num. Meth. Prog. 2006, 7, 102-110.