Testing the Correctness of MPI Implementations | IEEE Conference Publication | IEEE Xplore