1. Structural testing for communication events into loops of message‐passing parallel programs. (21st January 2021) Authors: Diaz, Silvia M. D.; Souza, Paulo S. L.; Souza, Simone R. S. Other Names: Oh Sangyoon guestEditor.; de Camargo Raphael Y. guestEditor.; Marozzo Fabrizio guestEditor.; Martins Wellington guestEditor.; Kołodziej Joanna guestEditor.; Jaatun Martin Gilje guestEditor. Journal: Concurrency and computation Issue: Volume 33:Number 18(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗