@misc{misc6e04b95c,
title   = {Structural testing for semaphore-based multithread programs},
author = {Sarmanho, Felipe S. and Souza, Paulo Sérgio Lopes de and Souza, Simone do Rocio Senger de and Simão, Adenilso da Silva},
year = {2008},
publisher = {Springer},
booktitle   = {International Conference in Computer Science}
}