A Mutation-Based Approach for Evaluating MPI- Correctness Tools

Master Thesis