Simone do Rocio Senger de Souza
Simone do Rocio Senger de Souza
ICMC/USP
E-mail confirmado em icmc.usp.br
Título
Citado por
Citado por
Ano
Mutation testing applied to estelle specifications
SDRS De Souza, JC Maldonado, SCPF Fabbri, WL De Souza
System Sciences, 2000. Proceedings of the 33rd Annual Hawaii International …, 2000
712000
Introduçao ao teste de software
JC Maldonado, EF Barbosa, AMR Vincenzi, ME Delamaro, SRS Souza, ...
São Carlos, 23, 2004
682004
Structural testing criteria for message‐passing parallel programs
SRS Souza, SR Vergilio, PSL Souza, AS Simão, AC Hausen
Concurrency and Computation: Practice and Experience 20 (16), 1893-1916, 2008
522008
Web services composition testing: a strategy based on structural testing of parallel programs
AT Endo, A da Silva Simao, SRS de Souza, PSL de Souza
Practice and Research Techniques, 2008. TAIC PART'08. Testing: Academic …, 2008
402008
A systematic review on search based mutation testing
RA Silva, SRS de Souza, PSL de Souza
Information and Software Technology 81, 19-35, 2017
362017
Introdução ao teste de software
EF Barbosa, JC Maldonado, AMR Vincenzi, ME Delamaro, SRS Souza, ...
Minicurso apresentado no XIV Simpósio Brasileiro de Engenharia de Software …, 2000
312000
Structural testing for semaphore-based multithread programs
FS Sarmanho, PSL Souza, SRS Souza, AS Simão
International Conference on Computational Science, 337-346, 2008
302008
Research in concurrent software testing: a systematic review
SRS Souza, MAS Brito, RA Silva, PSL Souza, E Zaluska
Proceedings of the Workshop on Parallel and Distributed Systems: Testing …, 2011
272011
Statecharts specifications: a family of coverage testing criteria
SRS de Souza, JC Maldonado, S Fabbri, PC Masiero
XXVI Conferência Latinoamericana de Informática, 2000
262000
Aspectos teóricos e empíricos de teste de cobertura de software
JC Maldonado, AMR Vincenzi, EF Barbosa, SRS de Souza, ME Delamaro
ICMSC-USP, 1998
261998
Coverage testing criteria for message-passing parallel programs
SR Vergílio, SRS Souza, PSL Souza
Digest Papers, 2005
252005
A comparison of selective mutation in C and fortran
WE Wong, JC Maldonado, ME Delamaro, SRS Souza
Workshop do Projeto Validação e Teste de Sistemas de Operação, 71-80, 1997
251997
Structural testing for message‐passing concurrent programs: an extended test model
PSL Souza, SRS Souza, E Zaluska
Concurrency and Computation: Practice and Experience 26 (1), 21-50, 2014
232014
ValiPar: A Testing Tool for Message-Passing Parallel Programs.
SRS de Souza, SR Vergilio, PSL de Souza, A da Silva Simão, ...
SEKE, 386-391, 2005
232005
Event-and coverage-based testing of web services
AT Endo, M Linschulte, A da Silva Simão, SRS de Souza
2010 Fourth International Conference on Secure Software Integration and …, 2010
202010
Using coverage and reachability testing to improve concurrent program testing quality
S Souza, P Souza, M Machado, M Camillo, A Simão, E Zaluska
172011
Avaliação do custo e eficácia do critério análise de mutantes na atividade de teste de software
SRS Souza
Sao Carlos-Sao Paulo, 1996
171996
Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report
ML Fioravanti, B Sena, LN Paschoal, LR Silva, AP Allian, EY Nakagawa, ...
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
162018
Data flow testing in concurrent programs with message passing and shared memory paradigms
PSL Souza, SS Souza, MG Rocha, RR Prado, RN Batista
Procedia Computer Science 18, 149-158, 2013
162013
The use of visual text mining to support the study selection activity in systematic literature reviews: a replication study
KR Felizardo, SRS Souza, JC Maldonado
2013 3rd International Workshop on Replication in Empirical Software …, 2013
162013
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20