Konzeption und Implementierung einer Benchmark Suite zur Evaluierung von MPI Correctness Tools

Master Thesis