Structural testing for semaphore-based multithread programs (2008)
- Authors:
- USP affiliated authors: SOUZA, PAULO SERGIO LOPES DE - ICMC ; SOUZA, SIMONE DO ROCIO SENGER DE - ICMC ; SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: Springer
- Publisher place: Heidelberger
- Date published: 2008
- Source:
- Título do periódico: Lecture Notes in Computer Science
- ISSN: 0302-9743
- Volume/Número/Paginação/Ano: v. 5101, p. 337-346, 2008
- Conference titles: International Conference in Computer Science
-
ABNT
SARMANHO, Felipe S. et al. Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf. Acesso em: 19 abr. 2024. , 2008 -
APA
Sarmanho, F. S., Souza, P. S. L. de, Souza, S. do R. S. de, & Simão, A. da S. (2008). Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf -
NLM
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2024 abr. 19 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf -
Vancouver
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2024 abr. 19 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf - Web services composition testing: a strategy based on structural testing of parallel programs
- Structural testing criteria for message-passing parallel programs
- ValiMPI
- ValiPVM - a graphical tool for structural testing of PVM programs
- Aplicação de teste estrutural para composição de web services
- A tool for structural testing of MPI programs
- Aplicação de teste estrutural para programas multithreads baseados em semáforos
- Using coverage and reachability testing to improve concurrent program testing quality
- Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
- Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
