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

Sílvia M. D. Diaz, Paulo S. L. Souza, Simone R. S. Souza. Structural testing for communication events into loops of message-passing parallel programs. Concurrency - Practice and Experience, 33(18), 2021. [doi]

Abstract

Abstract is missing.