S. R. S. Souza Silvia Regina Vergilio P. S. L. Souza A. S. Simão Alexandre Ceolin Hausen Structural testing criteria for message-passing parallel programs. 1893-1916 2008 20 Concurrency and Computation: Practice and Experience 16 http://dx.doi.org/10.1002/cpe.1297 db/journals/concurrency/concurrency20.html#SouzaVSSH08