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: Software testing, verification and reliability
- ISSN: 0960-0833
- Volume/Número/Paginação/Ano: v. 25, n. 3, p. 310-332, Maio 2015
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
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: 13 abr. 2026. -
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 2026 abr. 13 ] 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 2026 abr. 13 ] 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
- ValiPar: a testing tool for message-passing parallel programs
- Structural testing for semaphore-based multithread programs
- Aplicação de teste estrutural para composição de web services
- ValiPVM - a graphical tool for structural testing of PVM programs
- ValiMPI
- 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
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
