Structural testing for message-passing concurrent programs: an extended test model (2014)
- Authors:
- USP affiliated authors: SOUZA, PAULO SERGIO LOPES DE - ICMC ; SOUZA, SIMONE DO ROCIO SENGER DE - ICMC
- Unidade: ICMC
- DOI: 10.1002/cpe.2937
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher place: Malden, MA
- Date published: 2014
- Source:
- Título: Concurrency and Computation: Practice and Experience
- ISSN: 1532-0626
- Volume/Número/Paginação/Ano: v. 26, n. 1, p. 21-50, jan 2014
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
SOUZA, Paulo Sérgio Lopes de e SOUZA, Simone do Rocio Senger de e ZALUSKA, Edward John. Structural testing for message-passing concurrent programs: an extended test model. Concurrency and Computation: Practice and Experience, v. 26, n. 1, p. 21-50, 2014Tradução . . Disponível em: https://doi.org/10.1002/cpe.2937. Acesso em: 27 dez. 2025. -
APA
Souza, P. S. L. de, Souza, S. do R. S. de, & Zaluska, E. J. (2014). Structural testing for message-passing concurrent programs: an extended test model. Concurrency and Computation: Practice and Experience, 26( 1), 21-50. doi:10.1002/cpe.2937 -
NLM
Souza PSL de, Souza S do RS de, Zaluska EJ. Structural testing for message-passing concurrent programs: an extended test model [Internet]. Concurrency and Computation: Practice and Experience. 2014 ; 26( 1): 21-50.[citado 2025 dez. 27 ] Available from: https://doi.org/10.1002/cpe.2937 -
Vancouver
Souza PSL de, Souza S do RS de, Zaluska EJ. Structural testing for message-passing concurrent programs: an extended test model [Internet]. Concurrency and Computation: Practice and Experience. 2014 ; 26( 1): 21-50.[citado 2025 dez. 27 ] Available from: https://doi.org/10.1002/cpe.2937 - Geração automática de dados de teste para programas concorrentes com uso de meta-heurísticas
- Empirical research on concurrent software testing: a systematic mapping study
- An empirical evaluation of the cost and effectiveness of structural testing criteria for concurrent programs
- How to test your concurrent software: an approach for the selection of testing techniques
- Structural testing for communication events into loops of message-passing parallel programs
- Structural testing for CUDA programming model
- ValiErlang: a structural testing tool for Erlang programs
- Teste de mutação aplicado a programas concorrentes em MPI
- Concurrent Softwre testing: a systematic review
- Data flow testing in concurrent programs with message passing and shared memory paradigms
Informações sobre o DOI: 10.1002/cpe.2937 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
