@inproceedings{inproceedings01feba76,
title   = {Coverage testing criteria for message-passing parallel programs},
author = {Vergílio, Sílvia Regina and Souza, Simone do Rocio Senger de and Souza, Paulo Sérgio Lopes de},
year = {2005},
publisher = {IEEE Computer Society},
booktitle   = {IEEE Latin-American Test Workshop}
}