Structural testing criteria for message-passing parallel programs - Souza, Simone do Rocio Senger de; Vergilio, S. R.; Souza, Paulo Sérgio Lopes de; Simão, Adenilso da Silva; Hausen, A. C. (Concurrency and Computation: Practice and Experience, 2008)