MPI Correctness Checking with Marmot. - Bettina Krammer; Tobias Hilbrich; Valentin Himmler; Blasius Czink; Kiril Dichev; Matthias S. Müller (Parallel Tools Workshop, 2008)