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. Vergilio
Adenilso da Silva Simão