Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs (2015)
- Authors:
- USP affiliated authors: SOUZA, SIMONE DO ROCIO SENGER DE - ICMC ; SOUZA, PAULO SERGIO LOPES DE - ICMC ; SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- DOI: 10.1002/stvr.1568
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher place: Malden, Ma
- Date published: 2015
- Source:
- Título do periódico: Software testing, verification and reliability
- ISSN: 0960-0833
- Volume/Número/Paginação/Ano: v. 25, n. 3, p. 310-332, Maio 2015
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
SOUZA, Simone do Rocio Senger de et al. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, v. 25, n. 3, p. 310-332, 2015Tradução . . Disponível em: https://doi.org/10.1002/stvr.1568. Acesso em: 23 abr. 2024. -
APA
Souza, S. do R. S. de, Souza, P. S. L. de, Brito, M. A. S., Simão, A. da S., & Zaluska, E. J. (2015). Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, 25( 3), 310-332. doi:10.1002/stvr.1568 -
NLM
Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1002/stvr.1568 -
Vancouver
Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1002/stvr.1568 - 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
- Structural testing for semaphore-based multithread programs
- Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI
Informações sobre o DOI: 10.1002/stvr.1568 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
