Structural Testing for Semaphore-Based Multithread Programs. - Felipe S. Sarmanho; Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza; Adenilso da Silva Simão (ICCS (1), 2008)

Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. - Silvana Morita Melo; Simone do Rócio Senger de Souza; Felipe S. Sarmanho; Paulo Sergio Lopes de Souza (Softw. Qual. J., 2018)