Structural testing for communication events into loops of message‐passing parallel programs

2021 ◽  
Author(s):  
Silvia M. D. Diaz ◽  
Paulo S. L. Souza ◽  
Simone R. S. Souza
Keyword(s):  
Message Passing ◽  
Parallel Programs ◽  
Structural Testing ◽  
Communication Events

Structural testing criteria for message-passing parallel programs

2008 ◽  
Vol 20 (16) ◽  
pp. 1893-1916 ◽  
Author(s):  
S. R. S. Souza ◽  
S. R. Vergilio ◽  
P. S. L. Souza ◽  
A. S. Simão ◽  
A. C. Hausen
Keyword(s):  
Message Passing ◽  
Parallel Programs ◽  
Structural Testing ◽  
Structural Testing Criteria ◽  
Testing Criteria

Protocol-based verification of message-passing parallel programs

2015 ◽  
Vol 50 (10) ◽  
pp. 280-298 ◽  
Author(s):  
Hugo A. López ◽  
Eduardo R. B. Marques ◽  
Francisco Martins ◽  
Nicholas Ng ◽  
César Santos ◽  
...  
Keyword(s):  
Message Passing ◽  
Parallel Programs
Sign in / Sign up

Export Citation Format

Share Document