@article{article29845543,
title   = {Structural testing for message-passing concurrent programs: an extended test model},
author = {Souza, Paulo Sérgio Lopes de and Souza, Simone do Rocio Senger de and Zaluska, Edward John},
year = {2014},
doi = {10.1002/cpe.2937},
journal   = {Concurrency and Computation: Practice and Experience}
}