An Interface for Integrated MPI Correctness Checking.
['Tobias Hilbrich', 'Matthias Jurenz', 'Hartmut Mix', 'Holger Brunst', 'Andreas Knüpfer', 'Matthias S. Müller', 'Wolfgang E. Nagel']
An Interface for Integrated MPI Correctness Checking.