ValiPar: A Testing Tool for Message-Passing Parallel Programs. - Simone do Rócio Senger de Souza; Silvia Regina Vergilio; Paulo Sergio Lopes de Souza; Adenilso da Silva Simão; Thiago Bliscosque Goncalves; Alexandre de Melo Lima; Alexandre Ceolin Hausen (SEKE, 2005)