Hello, 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