Mutationstests als Ansatz zur Validierung von MPI Correctness-Tools

Master Thesis