The Dynamic Analyzer for MPI the first dynamic analyzer of MPI

DAMPI is a dynamic testing/verification tool that scalably covers non-deterministic interactions of MPI (e.g., sildcard-receives).