Structural Testing for Semaphore-Based Multithread Programs.

Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rcio Senger de Souza, Adenilso da Silva Simo

Browse the full ICCS paper archive.