Structural Testing for Semaphore-Based Multithread Programs

 
Sarmanho, F.S. ; SOUZA, Paulo Sérgio Lopes de ; SOUZA, S. R. S. ; SIMÃO, Adenilso da Silva . Structural Testing for Semaphore-Based Multithread Programs. In: 8th International Conference on Computational Science, 2008, Krakow. LNCS - Computational Science ICCS 2008. Heidelberg : Springer-Verlag, 2008. v. 5101. p. 337-346.