2008 |
2 | EE | 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.
Concurrency and Computation: Practice and Experience 20(16): 1893-1916 (2008) |
2005 |
1 | | Simone do Rocio Senger de Souza,
Silvia Regina Vergilio,
Paulo Sergio Lopes de Souza,
Adenilso da Silva Simão,
Thiago Bliscosque Goncalves,
Alexandre de Melo Lima,
Alexandre Ceolin Hausen:
ValiPar: A Testing Tool for Message-Passing Parallel Programs.
SEKE 2005: 386-391 |