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