Structural Testing for Semaphore-Based Multithread Programs

The text size have been saved as 80%.

qui, 05/21/2009 - 17:04 — sandrolb

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.