Abstract
This work is inserted in context of Project TestPar - Software testing applied to Concurrent Programs. This project aiming the proposition of techniques, criteria and tools for test of concurrent programs. Currently, it was proposed ways to test concurrent programs in different paradigms, such as message-passing programs in MPI. In this context, it was developed the testing tool ValiMPI, …