Structural testing for message-passing concurrent programs: an extended test model - Souza, Paulo Sérgio Lopes de; Souza, Simone do Rocio Senger de; Zaluska, Edward John (Concurrency and Computation: Practice and Experience, 2014)