Structural Testing for Semaphore-Based Multithread Programs

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]

Authors

Felipe S. Sarmanho

This author has not been identified. Look up 'Felipe S. Sarmanho' in Google

Paulo Sergio Lopes de Souza

This author has not been identified. Look up 'Paulo Sergio Lopes de Souza' in Google

Simone do Rocio Senger de Souza

This author has not been identified. Look up 'Simone do Rocio Senger de Souza' in Google

Adenilso da Silva Simão

This author has not been identified. Look up 'Adenilso da Silva Simão' in Google