Using coverage and reachability testing to improve concurrent program testing quality (2011)
- 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
- Subjects: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE; SISTEMAS DISTRIBUÍDOS; PROGRAMAÇÃO CONCORRENTE
- Language: Inglês
- Imprenta:
- Publisher: Knowledge Systems Institute Graduate School
- Publisher place: Skokie
- Date published: 2011
- ISBN: 1891706292
- Source:
- Título: Proceedings
- Conference titles: International Conference on Software Engineering & Knowledge Engineering - SEKE
-
ABNT
SOUZA, Simone do Rocio Senger de et al. Using coverage and reachability testing to improve concurrent program testing quality. 2011, Anais.. Skokie: Knowledge Systems Institute Graduate School, 2011. . Acesso em: 05 out. 2024. -
APA
Souza, S. do R. S. de, Souza, P. S. L. de, Machado, M. C. da C., Camillo, M. S., Simão, A. da S., & Zaluska, E. (2011). Using coverage and reachability testing to improve concurrent program testing quality. In Proceedings. Skokie: Knowledge Systems Institute Graduate School. -
NLM
Souza S do RS de, Souza PSL de, Machado MC da C, Camillo MS, Simão A da S, Zaluska E. Using coverage and reachability testing to improve concurrent program testing quality. Proceedings. 2011 ;[citado 2024 out. 05 ] -
Vancouver
Souza S do RS de, Souza PSL de, Machado MC da C, Camillo MS, Simão A da S, Zaluska E. Using coverage and reachability testing to improve concurrent program testing quality. Proceedings. 2011 ;[citado 2024 out. 05 ] - Aplicação de teste estrutural para programas multithreads baseados em semáforos
- Web services composition testing: a strategy based on structural testing of parallel programs
- Structural testing criteria for message-passing parallel programs
- A tool for structural testing of MPI programs
- Aplicação de teste estrutural para composição de web services
- ValiPVM - a graphical tool for structural testing of PVM programs
- ValiMPI
- ValiPar: a testing tool for message-passing parallel programs
- Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
- Structural testing for semaphore-based multithread programs
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas