Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rocio Senger de Souza, Adenilso da Silva Simão. Structural Testing for Semaphore-Based Multithread Programs. In Marian Bubak, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot, editors, Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I. Volume 5101 of Lecture Notes in Computer Science, pages 337-346, Springer, 2008. [doi]
Abstract is missing.