Data flow testing in concurrent programs with message passing and shared memory paradigms (2013)
- Authors:
- USP affiliated authors: SOUZA, PAULO SERGIO LOPES DE - ICMC ; SOUZA, SIMONE DO ROCIO SENGER DE - ICMC
- Unidade: ICMC
- DOI: 10.1016/j.procs.2013.05.178
- Subjects: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Source:
- Título: Procedia Computer Science
- ISSN: 1877-0509
- Volume/Número/Paginação/Ano: v. 18, p. 149-158, 2013
- Conference titles: International Conference on Computational Science - ICCS2013
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-nd
-
ABNT
SOUZA, Paulo Sérgio Lopes de et al. Data flow testing in concurrent programs with message passing and shared memory paradigms. Procedia Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.procs.2013.05.178. Acesso em: 27 dez. 2025. , 2013 -
APA
Souza, P. S. L. de, Souza, S. do R. S. de, Rocha, M. G., Prado, R. R., & Batista, R. N. (2013). Data flow testing in concurrent programs with message passing and shared memory paradigms. Procedia Computer Science. Amsterdam: Elsevier. doi:10.1016/j.procs.2013.05.178 -
NLM
Souza PSL de, Souza S do RS de, Rocha MG, Prado RR, Batista RN. Data flow testing in concurrent programs with message passing and shared memory paradigms [Internet]. Procedia Computer Science. 2013 ; 18 149-158.[citado 2025 dez. 27 ] Available from: https://doi.org/10.1016/j.procs.2013.05.178 -
Vancouver
Souza PSL de, Souza S do RS de, Rocha MG, Prado RR, Batista RN. Data flow testing in concurrent programs with message passing and shared memory paradigms [Internet]. Procedia Computer Science. 2013 ; 18 149-158.[citado 2025 dez. 27 ] Available from: https://doi.org/10.1016/j.procs.2013.05.178 - 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
- Structural testing for message-passing concurrent programs: an extended test model
Informações sobre o DOI: 10.1016/j.procs.2013.05.178 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
