Automated Correctness Analysis of MPI Programs with Intel(r) Message Checker. - Victor Samofalov; Victor Krukov; Bob Kuhn; Sergey Zheltov; Alexander V. Konovalov; Jayant DeSouza (PARCO, 2005)