Structural testing criteria for message-passing parallel programs
Concurrency and Computation: Practice and Experience
Silvia Regina Vergilio
A. C. Hausen
P. S. L. Souza
S. R. S. Souza
Adenilso da Silva Simão