I recently came the ISP tool (http://www.cs.utah.edu/formal_verification/ISP-release/) for dynamic verification of MPI programs. I wonder if anyone is aware of similar (research) tools that can be used for systematic testing of MPI programs. Thanks!

--Jiri Simsa